User:Konstantinos Gaitanas/sandbox

Recently the mathematician Konstantinos Gaitanas proved that $$\pi(x)=\frac{x}{\Bigl\lfloor {{lnx-\frac{1}{2}}\Bigr\rfloor}}$$ is valid for infinitely many natural numbers $$x$$ where $$\lfloor{lnx-\frac{1}{2}}\rfloor$$ denotes the integer part of $$lnx-\frac{1}{2}$$.