An Explicit Mean-Value Estimate for the Prime Number Theorem in Intervals | Synapse