a_1=1、a_(n+1)=a_n+[√(a_n)]とする。(実数A を超えない最大の整数を[A]と書く)。
任意の素数pに対し、{a_n} 内にpの倍数の項が無数にあることを示して下さい。