length of longest increasing sequence