An absolute logarithmic Siegel bound: (1 - beta) log q is bounded away from zero for real zeros

Initializing...

An absolute logarithmic Siegel bound: (1 - beta) log q is bounded away from zero for real zeros · Prove2Me