$-\operatorname{Re}\,L'/L(\sigma,\chi_0)\le 1/(\sigma-1)+c$ for $1<\sigma\le2$ (Davenport §14)

Initializing...

$-\operatorname{Re}\,L'/L(\sigma,\chi_0)\le 1/(\sigma-1)+c$ for $1<\sigma\le2$ (Davenport §14) · Prove2Me