import sys input = sys.stdin.readline N = int(input()) a = list(map(int, input().split())) import heapq hpush = heapq.heappush hpop = heapq.heappop h = [] for i in range(N): hpush(h, (-(i + 1) * 2, a[i] + 1, ~i)) hpush(h, (-(i + 1), a[i], ~i)) class BIT: def __init__(self, n): self.n = n self.data = [0] * (n + 1) self.el = [0] * (n + 1) def sum(self, i): s = 0 while i > 0: s += self.data[i] i -= i & -i return s def add(self, i, x): self.el[i] += x while i <= self.n: self.data[i] += x i += i & -i def get(self, i, j = None): if j is None: return self.el[i] return self.sum(j) - self.sum(i) def lowerbound(self, s): x = 0 y = 0 for i in range(self.n.bit_length(), -1, -1): k = x + (1 << i) if k <= self.n and (y + self.data[k] < s): y += self.data[k] x += 1 << i return x + 1 fwk = BIT(N + 1) for x in range(1, N + 1): fwk.add(x, 1) #print(h) res = -N * (N + 1) // 2 vis = [0] * N while len(h): c, x, i = hpop(h) i = ~i #print(h) if vis[i]: continue c = -c t = fwk.sum(x - 1) y = fwk.lowerbound(t + 1) if y > N: continue vis[i] = 1 fwk.add(y, -1) res += c #print(i, c, res, t, y) print(res)