[seqfan] Re: Comment in A003418

[Georgi Guninski]

On Thu, Sep 13, 2012 at 09:30:13AM -0400, Charles Greathouse wrote:
> I believe the original comment is correct: if RH fails then |psi(x) -
> x|/(sqrt(x) log^2 x) should be unbounded. (It's certainly unbounded if
> there are infinitely many zeros off the critical line; can anyone
> address the case with only finitely many?)  But it would be good to
> include the Schoenfeld improvement, of course.
>

I don't get it.

If you replace "sqrt(x) log^2 x" by "1000 sqrt(x) log^2 x" in the
comment the equivalence will fail no matter if your formula is bounded or not.