f(x)=O(x)だろう、よって明らかにイミフ