若无穷数列{an}满足:①对任意n属于正整数,{a(n)+a(n+2)}/2≤a(n+1);②存在常数M,对任意n属于N