An explicit form of Ingham's zero density estimate
Ingham (1940) proved that $N(σ,T)\ll T^{3(1-σ)/(2-σ)}\log^{5}{T}$, where $N(σ,T)$ counts the number of the non-trivial zeros $ρ$ of the Riemann zeta-function with $\Re\{ρ\}\geqσ\geq 1/2$ and $0<\Im\{ρ\}\leq T$. We provide an explicit version of this result with the exponent $(7-5σ)/(2-σ)$ of the logarithmic factor. In addition, we also provide an explicit estimate with asymptotically correct main term for the fourth power moment of the Riemann zeta-function on the critical line.