User:12AbBa/High-level Catching Function analysis

This page is a continuation of Hyp Cos's Catching function analysis. Real non-R-function analysis ended at \(\psi(\psi_{M(1,0)}(0))\), so I'm continuing beyond that point.