>>499
成り立たないと思う
f(x) = (φ(x)^2)/(log(x)) とすれば f(x) = o(φ(x)^2) だが、
x^2 f(x) = x^2 φ(x)^2 /(log(x)) = O(log(x)) → ∞