Longest monotonically increasing subsequence | judge.