TeX source:
F(k, 1001 \cdots)