Metamath Proof Explorer

Table of Contents - 21.39.5. AM-GM (for k = 2,3,4)

1. gsumws3
2. gsumws4
3. amgm2d
4. amgm3d
5. amgm4d