これでかなりの数の初等不等式を証明できるよね
問題は使いこなせるかどうかだけど

【不等式類】
Bernoulli の不等式，Cauthy の不等式，Chebyshev の不等式，Holder の不等式，Jensen の不等
Karamata の不等式，Minkovski の不等式，Muirhead の不等式，Nesbitt の不等式，PowerMean 不等式
QM-AM-GM-HM 不等式，Radon の不等式（次数1），Rearrangement 不等式，Schur の不等式

【メソッド】
ABC，CD3，CDN，CRT，isolated fudging，normalization
Lagrange Multipliers，SD3，SMV，SOS，UMV，symmetric separation，uvw，置換