Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Kunhao Zheng
Weighted AM-GM inequality
Next ⟩
amgmwlem
Metamath Proof Explorer
Unicode
Structured
Table of Contents - 21.54.1. Weighted AM-GM inequality
amgmwlem
amgmlemALT
amgmw2d
young2d