TeX source:

F_{x}(y)=1+G(x, y)-e^{\alpha(y-x)} \text { < } 0 \quad \text { for } y \text { > } x