Source TeX:
\displaystyle \lim_{x \to -\infty} (F(x)-x)