Negative Infinity is Minimal

Theorem
Let $\left({\overline\R, \le}\right)$ be the extended real numbers with the usual ordering.

Then $+\infty$ is a maximal element of $\overline\R$.

Proof
This theorem is dual to Positive Infinity is Maximal.