Countable limit of Extended Buchholz's function

\(\psi(\psi_I(0))\) is a large countable ordinal.