#include <iostream>
#include <vector>
typedef long long LL;
using namespace std;
int main()
{
	int N, i;
	cin >> N;
	if (N == 1) {
		cout << 0 << endl;
		return 0;
	}
	vector<int> P(N+1);
	int take = 0;
	int suzuki = 0;
	int I;
	for (i = 1; i <= N; i++) {
		cin >> P[i];
		if (P[i] == N) {
			I = i;
		}
	}
	LL X = N * (N + 1) / 2 - 2*I;
	cout << X << endl;
	return 0;
}