>>547
それだと、lim_[n→∞] π(n)/n =0ともlim_[n→∞] π(n)/n ≠ 0とも言えない気がするのですが……