N1 Determine todos los enteros positivos $M$ tales que la sucesión $a_0, a_1, a_2, \cdots$ definida por \[ a_0 = M + \frac{1}{2} \qquad \textrm{and} \qquad a_{k+1} = a_k\lfloor a_k \rfloor \quad \textrm{for} \, k = 0, 1, 2, \cdots \] contiene al menos un término entero.