スレの長期目標掲げようぜ
とりま素数定理を証明しよう