The ZFC set theory cannot prove (nor disprove) the continuum hypothesis. However, is this theory powerful enough to give an upper bound ? What I mean by this is a result like : $$ 2^{\aleph_0} \leq \aleph_n $$ where $n \in \mathbb{N}$
Thank you for your answer,