このサイトにある不等式の証明が興味深い
https://www.jstor.org/stable/2975630?seq=3#metadata_info_tab_contents
https://www.researchgate.net/publication/236834618_On_a_mixed_arithmetic-geometric_mean_inequality