Раді оголосити про доведення рядка нахилу ~25K теореми про прості числа (PNT) у сильній формі! На цьому завдання Террі Тао та @AlexKontorovich завершують ще у січні 2024 року.