农场的N头奶牛喜欢玩叠罗汉游戏，就是几头奶牛1头奶牛接着1头奶牛的站成一柱子形状。不过奶牛的力量不一样，用数值Ci表示第i头奶牛它的上面最多可以站多少头奶牛，问这些奶牛最少可以站成几个柱子形状。

输入格式 输入文件名：638.in 第一行1个整数N，表示有多少头奶牛。1<=N<=1000。 第二行N个正整数Ci，表示这些奶牛的力量。0<=Ci<=1000。

输出格式 输出文件名：638.out 一个整数，表示最少成几个“罗汉”。