A : 算術平均
G : 幾何平均
H : 調和平均
(A/G)^3 + (G/H)^3 + 1 ≦ (3/4)*(1 + A/H)^2

(1) この不等式の証明はどうやるんでしょうか?
(2) この不等式には名前がついていますか?