Right endpoint of a distribution ($x_F$)

The right endpoint of a distribution with distribution function $F$ is $x_F=\sup \{x:F(x)<1\}$, possibly infinite. The survival function is positive below $x_F$.