User blog comment:Bubby3/Why no Greatly Mahlo cardinal in our weakly compact OCF?/@comment-31966679-20180607203050/@comment-32697988-20180608230520

That is veblen function