We show that, on the Riemann hypothesis, lim supX→∞I(X)/X2⩽0.8603, where I(X)=∫X2X(ψ(x)−x)2dx. This proves (and improves on) a claim by Pintz from 1982. also unconditionally that 1.86⋅10−4⩽I(X)/X2 for sufficiently large X, and I(X)/X2 has no limit as X→∞.