Источник TeX:

(R+r)\geq\frac{\sqrt3-1}{2}