f(x)の[0,a_n]での最大値をMとすればMa_nは満たすと思うが…。