User blog comment:Ikosarakt1/Hardy hierarchy up to psi(K)/@comment-25418284-20140617140300

Let \(\alpha \geq \omega\). Then:

\[\alpha[n] = (1 + \alpha)[n] = 1 + \alpha[n]\]

by Rule 4, so

\[1 = 0.\]