AB≠1 のとき、A^s+B^(2-s) >= 2*√(A^s*B^(2-s))、等号成立は…
AB=1 なら…