小b养了 n 盆花，第 i 盆花高度为 A[i] 。小b每天可以给某一盆花浇水，这样这盆花就会长高一单位。
小b希望每盆花都是独一无二的，也就是不存在两盆花高度相等，求小b最少要浇几天水。
第一行输入一个非负整数 n ;
第二行输入 n 个非负整数，表示 A[i] ;
输出一个非负整数，表示答案
输入样例
6 3 2 1 2 1 7
输出样例
6
0≤n≤40000，0≤A[i]＜40000 ， ＜