User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-32697988-20190428074647/@comment-32994025-20190501194636

Cough \(\Omega_n\)の\(\Omega_n=\psi_{\Omega_{n+1}}(0)\)が、一気に\(0\)まで落ちてますね...