lower bound for the prime number function Posted by user14947, at math.stackexchange.com, 23 Aug 2011 Does there exist a function $f$ that is a lower bound of the prime number function $\pi$ with $f \sim \pi$?