数列 {an} が
を満たすとき、1 をもとに、2 から a2, ... an, ... が決まる。この規則を表す式を漸化式という。 またこのような定義を数列の帰納的定義という。
an (n>2) を発見したら、n=1, 2 なども満たすかどうかを調べる必要がある。