$-\operatorname{Re}\,L'/L(s,\chi)\le c\log(q(|t|+2))-\sum_{\rho}\operatorname{Re}\frac{1}{s-\rho}$ near $\operatorname{Re}s=1$ (Davenport §14)

Initializing...

$-\operatorname{Re}\,L'/L(s,\chi)\le c\log(q(|t|+2))-\sum_{\rho}\operatorname{Re}\frac{1}{s-\rho}$ near $\operatorname{Re}s=1$ (Davenport §14) · Prove2Me