1〜nの中で素数p_1〜p_kで割り切れない数の個数をf_k(n)とする時、
f_k(n)/n→Π[i=1,k](1-1/p_i) (n→∞)
そしてΠ[i=1,k](1-1/p_i)→0 (k→∞)だからπ(x)/x→0 (n→∞)
みたいな感じで証明出来たらいいのに