a^(2x1)+a^(2x2)=(a^x1)^2+(a^x2)^2>=2(a^x1)(a^x2)=2a^(x1+x2)>=a^(x1+x2)