Sean $a_0, a_1, \ldots, a_n, a_{n+1}$ una secuencia de números reales que satisfacen las siguientes condiciones: \[a_0 = a_{n+1 }= 0,\] \[ |a_{k-1} - 2a_k + a_{k+1}| \leq 1 \quad (k = 1, 2,\ldots , n).\] Demuestre que $|a_k| \leq \frac{k(n+1-k)}{2} \quad (k = 0, 1,\ldots ,n + 1).$