Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Gamma Integral Estimates

Abstract

The Stirling estimate yields the first and second dyadic mu-integral asymptotics.

Theorem 1.1 (Gamma Integral Estimates).

Lean statement: D5/S3/Weil/ZetaGamma/GammaIntMu.int_mu_of_stirling

Proof. Machine-checked in Lean as D5/S3/Weil/ZetaGamma/GammaIntMu.int_mu_of_stirling (✓ std3). ∎

Source. Repository-derived.

Commentary.

The Stirling estimate yields the first and second dyadic mu-integral asymptotics.

References

  • Truth anchor: D5/S3/Weil/ZetaGamma/GammaIntMu.int_mu_of_stirling