Explicit Interval Estimates for Prime Numbers

Using a smoothing function and recent knowledge on the zeros of the Riemann zeta-function, we compute pairs of $(\mathrm{\Delta },x_0)$ such that for all $x \geq x_0$thereexistsatleastoneprimeintheinterval$(x(1 - \Delta^{-1}), x]$.