[seqfan] Re: Incorrect bound for the prime counting function?

[Peter Luschny]

> > If x >= 5.43, then PrimePi(x) < x / (log(x) - 1 - (1.17/log(x))).
>     Maybe the formula would work, with 1.23104 instead of 1.17.

Thanks Don! I informed the author.