import sys
input = sys.stdin.readline
sys.setrecursionlimit(10**7)

N = int(input())
P = list(map(int,input().split()))

idx = P.index(N)+1
ans = N*(N+1)//2-2*idx
print(max(ans,0))