TeX source:
\forall t \sum r_i (t) \leq R