题目描述

小明制定了一个刷题训练计划：在第 $k$ 天，他必须完成 $k$ 道题，否则就会偷懒放弃。

小明找到了一个题库，里面有 $n$ 套题单，每套题单包含一定数量的题目。小明比较挑剔，每套题单最多使用一次，且每天只能使用一套题单。使用某套题单时不必做完里面的全部题目。

请问小明最多能坚持训练多少天？

输入格式

第一行一个正整数 $n$，表示题单的数量。
第二行 $n$ 个正整数 $a_1, a_2, \dots, a_n$，分别表示每套题单包含的题目数量。

输出格式

输出一行一个整数，表示最多能坚持的天数。

样例

4
3 1 4 1

3

提示

对全部的测试数据，保证 $1 \leq n \leq 10^6$，$1 \leq a_i \leq 10^9$。