もう一つあった ('A`)ｳﾞｫｴｧ！

R/2r ≧ exp{(a-b)^2/2c^2 + (b-c)^2/2a^2 + (c-a)^2/2b^2}