~25Kライン素数定理(PNT)のリーン証明を強力な形で発表できることを嬉しく思います! これで、テリー・タオと@AlexKontorovichが 2024 年 1 月に設定したチャレンジは完了です。