// Code by Heratino & Nelofus
// Narcissus & どうか安寧な記憶を

#include <bits/stdc++.h>
using i64 = long long;

//{{{誰にもなれない 私 胸張ってさ
template<typename Ta, typename Tb>
inline void chkmax(Ta &a, const Tb &b) {if (a < b)	a = b;}
template<typename Ta, typename Tb>
inline void chkmin(Ta &a, const Tb &b) {if (a > b)	a = b;}
//}}}

int main() {
#ifdef HeratinoNelofus
	freopen("input.txt", "r", stdin);
#endif

	int n;
	std::cin >> n;
	std::vector<int> p(n), pos(n);
	for (int i = 0; i < n; i++) {
		std::cin >> p[i];
		pos[p[i]] = i;
	}
	int l = n + 1, r = -1;
	i64 ans = 0;
	for (int mex = 1; mex <= n; mex++) {
		chkmax(r, pos[mex - 1]);
		chkmin(l, pos[mex - 1]);
		ans += 1ll * (l + 1) * (n - r);
	}
	std::cout << ans << '\n';
	return 0;
}