MathDB
Given two sequences. Show that they have finite common terms

Source:

October 12, 2010
number theory unsolvednumber theory

Problem Statement

Let (an)n1(a_n)_{n\ge 1} and (bn)n1(b_n)_{n\ge 1} be two sequences of natural numbers such that an+1=nan+1,bn+1=nbn1a_{n+1} = na_n + 1, b_{n+1} = nb_n - 1 for every n1n\ge 1. Show that these two sequences can have only a finite number of terms in common.