Az a0, a1, ..., an számokra a következők teljesülnek: a0=an=0 és ak-1+ak+1-2ak≥0 (k=1, 2, ..., n-1). Bizonyítsuk be, hogy minden k esetén ak≤0.