User blog comment:Edwin Shade/Questions About Madore's Psi Function/@comment-32697988-20180109235126

Question 3 The smallest fixed point of \(\alpha\mapsto\Omega_\alpha\) is \(\psi_I(0)\), not \(I\).