The arithmetic mean of two numbers is at least their geometric meanDávid Laczkó·Follow1 min read·Jun 21, 2020--ShareTwo non-trivial proofsMAGYAR