A multiple real zero of $L(s,\chi)$ lies to the left of $1-c/\log(2q)$ (Davenport §14)

Initializing...

A multiple real zero of $L(s,\chi)$ lies to the left of $1-c/\log(2q)$ (Davenport §14) · Prove2Me