ただし、formula_6はグーデルマン関数の逆関数である。