p:素数　x:2以上の整数の時

区間√x≦p≦x

には必ず素数pがあることを証明して下さい。
これが証明できるとその系としてｎ!(ｎ:2以上の整数)
は平方数で無いことも証明できます。
解析数論じゃないとだめ？