aj<aj+1,