Dusart, proof of Théorème 45: $|\psi(x)-x|<xG_2(G_0G_1)^{1/4}\sqrt{8/\pi}X^{1/2}e^{-X}(1+3.27X^{1/2}e^{-X})$

Initializing...

Dusart, proof of Théorème 45: $|\psi(x)-x|<xG_2(G_0G_1)^{1/4}\sqrt{8/\pi}X^{1/2}e^{-X}(1+3.27X^{1/2}e^{-X})$ · Prove2Me