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