User blog comment:Cloudy176/My number is smaller!/@comment-5029411-20140920144244/@comment-4224897-20140920161533

Now let's continue with a computable number:

\(f_{\psi(\psi_{\alpha \mapsto I_{\alpha}}(0))}(100)\)