User blog comment:SuperSpruce/Question about certain fundamental sequences/@comment-32213734-20190422053122/@comment-35470197-20190424222429

@Rgetar

For Buchholz's OCF, you are right. (You had a typo "Ω2 ≤ ψ1(...) < Ω3", though. I know that you just intended to write "Ω2 ≤ ψ2(...) < Ω3.") Good study.

Also, I note that the OCF in the question by the OP is not Buchholz's one, because there is no expression like \(\psi(\psi_I(\Omega))\). I recommend you not to use Scorcher007's list of ordinals because it does not explain what \(\psi\) he is using.