>>917
a_n≦l_n
ということですよね?