$-\operatorname{Re}\,L'/L(s,\chi_0)\le\operatorname{Re}\frac1{s-1}+c\log(q(|t|+2))$ for $1<\sigma\le2$ (Davenport §13–14)

Initializing...

$-\operatorname{Re}\,L'/L(s,\chi_0)\le\operatorname{Re}\frac1{s-1}+c\log(q(|t|+2))$ for $1<\sigma\le2$ (Davenport §13–14) · Prove2Me