Documentation

LeanPool.ZetaZeros.MontgomeryTaylor.Evaluation

The value of the constant #

G 0 = C_MT. With G constant this single evaluation pins the functional: G 0 = f_0 0 + integral of |v| f_0 v, elementary by parts, and the trigonometry collapses.

G 0 is the Montgomery--Taylor constant.