α=pα+qですよね。
もしpが１なら
q=0
つまり
α=0
になり数列じゃなくなるからって事ですか？
もっと簡単にできます？
そしてやっぱり、この変数はこの数字に絶対にならないと確定してる場合、
変数を定義した後に、「この数字にならない」ってのも定義するんですよね？