>>500
O(log(x)) だと証明になってないな
x^2 f(x) = log(x) + o(1) → ∞
だった