[seqfan] Comment in A003418

[Georgi Guninski]

https://oeis.org/A003418 
a(0) = 1; for n >= 1, a(n) = least common multiple (or lcm) of {1, 2, ..., n}


a[x]=exp(psi(x)) where psi(x)=log(lcm(1,2,...,floor(x))) is the Chebyshev function of the second kind.

Not sure if this comment is correct:
An assertion equivalent to the Riemann hypothesis is: | log(a(n)) - n | < sqrt(n) * log(n)^2 (for n>=3).

RH implies:

|psi(x)-x| < sqrt(x) log^2 x / (8 pi) if x>73.2

Is the constant $8 pi$ missing from the comment or the comment is correct?