Let be a strong limit cardinal. Then there are precisely -many subsets of of size strictly less than .
Proof
▶
Endow with its initial well-ordering. Each such subset is bounded in with respect to this well-ordering as its size is less than . So it suffices to prove there are precisely -many bounded subsets of . □