Determine todas as sequências de números reais a1, a2, …, a1995 que satisfazem: 2an−(n−1)≥an+1−(n−1), \mboxfor n=1,2,…1994, e 2a1995−1994≥a1+1.