Quantitative Integral Comparison for Monotone Series IV: The Harmonic Sum via Weak Euler–Maclaurin Comparison

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autore principale:	Jefferson, Bob
Natura:	Recurso digital
Pubblicazione:	Zenodo 2026
Soggetti:	harmonic series Euler–Maclaurin formula integral comparison Euler–Mascheroni constant monotone series convexity inequalities analytic number theory formal verification mathlib4 Lean theorem prover
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online