User blog comment:AJZajac/How fast does this sequence grow (problem in ordinal arithmetic)?/@comment-31607182-20171212204502/@comment-31607182-20171212211519

That's right