Tufurama

어느 날 Polycarp는 유명한 TV 시리즈 "Tufurama"에서 자신이 가장 좋아하는 에피소드를 다시 보기로 했다. 그는 "Watch Tufurama season 3 episode 7 online full hd free"라는 검색어로 검색했는데 season 7 에피소드 3에 대한 결과만 나와 상당히 놀랐다. 이 일로 Polycarp는 혼란스러워졌다. 언젠가 시리즈 전체를 다시 보기로 했는데 시청할 올바른 에피소드를 찾지 못하면 어떻게 할 것인가? 이제 Polycarp는 다른 방법으로 에피소드를 검색해야만 하는 횟수를 구하려고 한다.

TV 시리즈에는 n개의 시즌이 있으며, 번호는 1부터 n까지이다. i-th season에는 ai개의 에피소드가 있으며, 번호는 1부터 ai까지이다. Polycarp는 어떤 정수 쌍 x와 y (x < y)에 대해 season x 에피소드 y와 season y 에피소드 x가 둘 다 존재한다면, 이 검색어 중 하나에는 잘못된 결과가 포함될 것이라고 생각한다. Polycarp가 이러한 쌍의 수를 계산하도록 도와주자!

첫 번째 줄에는 정수 하나 n (1 ≤ n ≤ 2·105)이 주어진다. 이는 시즌의 수이다.

두 번째 줄에는 공백으로 구분된 n개의 정수 a1, a2, ..., an (1 ≤ ai ≤ 109)이 주어진다. 이는 각 season의 에피소드 수이다.

season x 에피소드 y와 season y 에피소드 x가 둘 다 존재하는 x와 y (x < y)의 쌍의 수를 나타내는 정수 하나를 출력한다.

두 번째 예제에서 가능한 쌍은 다음과 같다.

1. x = 1, y = 2 (season 1 episode 2 season 2 episode 1).
2. x = 2, y = 3 (season 2 episode 3 season 3 episode 2).
3. x = 1, y = 3 (season 1 episode 3 season 3 episode 1).

세 번째 예제에서는 다음과 같다.

1. x = 1, y = 2 (season 1 episode 2 season 2 episode 1).
2. x = 1, y = 3 (season 1 episode 3 season 3 episode 1).