>>671
aが実数ならa^(-2x)>0、a^(2x)>0
これらについて相加平均相乗平均の関係を考える。