N=int(input())
P=list(map(int,input().split()))
for i in reversed(range(N)):
  if P[i]!=i+1:
    break
if i==0:
  print(0)
else:
  idx=P.index(i+1)
  print((i+1)*(i+2)//2-2*(idx+1))