longest non-strictly decreasing sequence.