数列で
B[n]を0か1をとる数列とすると
A[1] = 0
A[n+1] = A[n] + B[n] - A[n]*B[n]
で定義したA[n]は
B[n]が最初に1になったnをmとすると
m >= k のとき A[k] = 0
k > m のとき A[k] = 1 となることを示せ