This used to be

aleph_omega^(aleph0) \le aleph_(omega4) + c

Shelah's Archive

We have now moved to https://shelah.logic.at/