第一非可算順序数ω_1を用いて形だけ急増加関数f_ω_1をつくる
f_ω_1はあらゆる定義可能な関数よりも早く増大し、f_ω_2よりはゆっくりと増大する

どうだかなあ