\aleph_\alpha=\sup_{\beta<\alpha}\aleph_\beta