A>0、 B>0のため、相加・相乗平均の不等式より←書くのめんどくさい