User blog comment:P進大好きbot/Whether Rayo's number is well-defined or not/@comment-38265111-20190709165430/@comment-35470197-20190709222859

Please study what a formula means. It is a good starting point for you. Cheer!