
Dado un entero positivo m, se define la sucesión {an}n≥1 de la siguiente manera: a1=m/2,an+1=an⌈an⌉ Determinar todos los valores de m para los cuales a2007 es el primer entero que aparece en la sucesión.
Nota: Para un número real x se define ⌈x⌉ como el menor entero que es mayor o igual a x. Por ejemplo, ⌈π⌉=4,⌈2007⌉=2007.