TeX source:
C ≥ 2875