Pólya’s Proof of the Weighted Arithmetic-Geometric Mean Inequality

Manuel Eberl
Archive of Formal Proofs 2022.

abstract   BibTeX   PDF  
AFP Entry