Length of the longest increasing subsequence