Источник TeX:
4\sqrt{3} < 7