User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-32697988-20190425100551/@comment-25337554-20190428061152

I think I messed up, so I will add "up to Ω_2" part.