Subpower zeta bound to the right of the critical line (source code)

= Subpower zeta bound to the right of the critical line
{title2=$|\zeta(1/2+\delta+it)|=|t|^{o_\delta(1)}\quad(\delta>0)$}

= Subpower zeta bounds to the right of the critical line
{synonym}

Under <Riemann hypothesis>, integrate a smoothed explicit formula from $1/2+\delta$ to two, taking $x=\log|t|$. The <prime> contribution is $O_\delta(x^{1-2\delta})$, while the local zero count bounds the zero contribution by $O_\delta(x^{-\delta}\log|t|/\log x)$. Both are $o(\log|t|)$ for fixed $0<\delta<1/4$, yielding the displayed bound; other fixed positive shifts follow by standard strip bounds and the <Euler product>.