ギャグ (Gag)

Segtree 君は $N$ 個の「ギャグ」を持っていて、それぞれに「できばえ」 $V_i$ という値が定まっています。

Segtree 君は自由な順番で全てのギャグを公開することにしました。

ここで、 $i$ 番目のギャグを $j$ 番目に公開した時に得られる「うれしさ」は $V_i - j$ と表されます。

Segtree 君が得られる「うれしさ」の和の最大値を求めてください。

入力

入力は以下の形式で標準入力から与えられる。

$N$
$V_1$ $V_2$ $\ldots$ $V_N$

出力

「うれしさ」の和の最大値を出力してください。ただし、値が 32bit 整数に収まるとは限りません。

最後には改行を入れること。

制約

入力例1

1
59549    

出力例1

59548

入力例2

5
2 1 8 5 7     

出力例2

8