Sea $\{x_n\}_{n\geq 0}$ una secuencia de números reales que satisfacen \[ (x_{n+1} - x_n)(x_{n+1}+x_n+1) \leq 0, \quad n\geq 0. \] a) Demuestra que la secuencia está acotada; b) ¿Es posible que la secuencia no sea convergente?