Zdroj TeX:
\forall k < n