Источник TeX:
R \sqrt3+R+r+r \sqrt3\geq1