真面目にレスすると、一般の相加相乗平均の不等式の証明は感動したなぁ💩