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