TeX source:
c \geq 8.75