n = int(input())
suzu = list(map(int, input().split()))
smax = suzu.index(n) + 1
ans = sum([i+1 for i in range(n)]) - smax*2
if ans < 0:
    ans = 0
print (ans)