1000以下の素数は250個以下であることを示せ←これは?