>>19　
1〜n^2の間に少なくともｎ個の互いに素な数が存在することを言えば、
間接的にn個以上の素数の存在が言える。