TeX source:

0 \leq 1 / 3 \leq 1. c=1 / 3