A30372.【算法】调皮的草原黄鼠

Gold King终于要出发去消灭草原黄鼠了，大家伙都来恭送打鼠英雄，场面异常的壮观。连地底下的草原黄鼠都知道了。
于是草原黄鼠给Gold King设了一个机关：在一块空地上，一字排开着鼠洞，草原黄鼠随机从1-n号的鼠洞中出现，有一秒时间让Gold King来抓他们，每个鼠洞的间距刚好设置为Gold King每秒移动一个（心疼Gold King腿短），移动到洞口，如果有草原黄鼠就可以打到。Gold King现在有T秒时间，以及T秒内草原黄鼠出现的鼠洞洞号。求草原黄鼠设置的机关让Gold King最多能打

第一行输入一个正整数T，表示有T秒，接下来输入T个n范围内的鼠洞号。

输出Gold King最多能打到多少只草原黄鼠。

0 <T <20
1 <=n <20
注意第一秒的时候Gold King可以出现在任意洞口前
样例2输入：
5
10 4 8 2 1
样例2输出：
3