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

Manuel Eberl. Pólya's Proof of the Weighted Arithmetic-Geometric Mean Inequality. Archive of Formal Proofs, 2022, 2022. [doi]

Abstract

Abstract is missing.