高橋正子　計算論っていう本に書いてあるよ。
上の定義ちょっと間違えて最小じゃなくて以下の最大の自然数な。