Right endpoint of a distribution (source code)

= Right endpoint of a distribution
{title2=$x_F$}

= Right endpoints of a distribution
{synonym}

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$.