Explicit Littlewood lower bound $L(1,\chi)\ge0.0617/\log\log q$ under $\Re s>7/8$ zero-freeness

Initializing...

Explicit Littlewood lower bound $L(1,\chi)\ge0.0617/\log\log q$ under $\Re s>7/8$ zero-freeness · Prove2Me