import sys
input = sys.stdin.readline

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

MAXIND=P.index(N)+1

print(max(0,N*(N+1)//2-2*MAXIND))