User blog comment:Edwin Shade/In Which I Try To Derive Values of Madore's OCF on My Own, and See How Far I Get/@comment-30754445-20171130210823/@comment-32876686-20171201025959

I believe I get it now. So given that $$[E]$$ denotes any expression with a series of terms $$\geq\Omega$$, then the fundamental sequence of $$\psi([E]+\Omega)$$ is $$\xi[n]$$, where $$\xi=\psi([E]+\xi)$$ ?