User blog comment:Alemagno12/An extremely fast-growing OCF/@comment-5029411-20170729233354

pDAN is stronger than you thought. $$\psi_{K(0)}(K(\varepsilon_0))$$ reaches the limit of pDAN, not $$\psi_{K(0)}(K(K(\omega)))$$.