import bisect n = int(input()) a = list(map(int, input().split())) dp = [] for x in a: idx = bisect.bisect_left(dp, x) if idx == len(dp): dp.append(x) else: dp[idx] = x print(n - len(dp))