Metamath Proof Explorer

Table of Contents - 14.3.12. Inequality of arithmetic and geometric means

  1. cvxcl
  2. scvxcvx
  3. jensenlem1
  4. jensenlem2
  5. jensen
  6. amgmlem
  7. amgm