Compact Hausdorff Topology is Maximally Compact

Theorem
Let $T = \left({X, \tau}\right)$ be a Hausdorff space which is compact.

Then $\tau$ is maximally compact.

Proof
Suppose there exists a topology $\tau'$ on $X$ such that $\tau \subseteq \tau'$.

Consider the identity mapping $I_X: \left({X, \tau'}\right) \to \left({X, \tau}\right)$.

From Separation Properties Preserved in Subspace, $I_X$ would be a continuous bijection from a Hausdorff space to a compact Hausdorff space.

If $\left({X, \tau'}\right)$ is also compact, then $I_X$ must also be open, and so $\tau' \subseteq \tau$.

So no topology which is strictly finer than $\tau$ can be compact.