原始帰納的関数でない帰納的関数の例として作られたけど、
値が急速に増加しちゃうせいで別の意味で有名になった関数。