Metamath Proof Explorer

Table of Contents - 20.47. Mathbox for Kunhao Zheng

1. Weighted AM-GM inequality
   1. amgmwlem
   2. amgmlemALT
   3. amgmw2d
   4. young2d