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