Gdybałem i gdybałem i wygdybałem coś takiego
dla \(\displaystyle{ n}\) naturalnego (w miarę dużego tak koło setki) oraz \(\displaystyle{ p_k \le [ \sqrt{n}] }\) , \(\displaystyle{ p_i}\) - liczba pierwsza \(\displaystyle{ \pi (n)- \pi (n-[ \sqrt{n}])=[ [ \sqrt{n} ] \cdot \prod_{i=1}^{k}(1- \frac{1}{p _{i} } )] \pm 1 }\) często bez \(\displaystyle{ \pm 1}\)
