「1000以下の素数は250個以下であることを示せ」が歴史に残る名問と話題に