Let $(\mathcal A,\tau)$ be a nonempty sequentially compact [topological space](/page/Topological%20Space), and let $J:\mathcal A\to \mathbb R\cup\{\infty\}$ be bounded below and sequentially lower semicontinuous with respect to $\tau$. Then there exists $z^*\in\mathcal A$ such that