f(x)=2^x
と書くとする
x,h>0のとき
f(h)+f(-h)>2 (相加平均相乗平均)
f(h)-1>1-f(-h)
{f(h)-1}/{1-f(-h)}>1
f(2x){f(h)-1}/{1-f(-h)}>1
{f(2x+h)-f(2x)}/{1-f(-h)}>1
{f(x+h)-f(x)}/{f(-x)-f(-x-h)}>1
f(x+h)-f(x)>f(-x)-f(-x-h)
f(x+h)+f(-x-h)>f(x)+f(-x)