Proposition 1.8.2.18.  Let κ, μ be cardinal numbers such that μ is finite and κ ≤ μ. Then:
κ is finite
No proof.