素数を数える問題を解いた