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

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Jefferson, Bob
Format:	Recurso digital
Published:	Zenodo 2026
Subjects:	harmonic series Euler–Maclaurin formula integral comparison Euler–Mascheroni constant monotone series convexity inequalities analytic number theory formal verification mathlib4 Lean theorem prover
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet