Legendreによる素数定理π(x)=o(x)の証明を再現する問題らしい。まず、 であるが、の定義から、『1≦n≦x で nの素因子がすべてより大きいような n』の個数である。ところが、nがより大きな素数のどれかに一致しない場合、nのその他の素因子はより小さくなるた…