Z radością ogłaszam ~25-tysięczną liniową wersję dowodu Twierdzenia o Liczbach Pierwszych (PNT) w silnej formie! To kończy wyzwanie postawione przez Terry'ego Tao i @AlexKontorovich w styczniu 2024 roku.