n以下の素数の個数をf(n)とするとき、lim[n→0]f(n)/n=0を示すことはそんなに難しくない。
king、やってみろ！