Polycarp luyện tập

Polycarp muốn luyện tập trước một kỳ thi lập trình. Trong ngày huấn luyện thứ nhất anh phải giải đúng $1$ bài, ngày thứ hai đúng $2$ bài, ngày thứ ba đúng $3$ bài, và cứ như vậy: trong ngày thứ $k$ anh phải giải đúng $k$ bài.

Polycarp có một danh sách $n$ bộ đề, bộ đề thứ $i$ gồm $a_i$ bài. Mỗi ngày anh chọn đúng một bộ đề chưa dùng và giải nó. Anh giải đúng $k$ bài từ bộ đề đó (những bài còn lại của bộ đề bị bỏ đi). Nếu tại ngày thứ $k$ không còn bộ đề nào chưa dùng có ít nhất $k$ bài, Polycarp dừng luyện tập.

Hỏi Polycarp có thể luyện tập được nhiều nhất bao nhiêu ngày nếu chọn các bộ đề một cách tối ưu?

Dữ liệu vào

• Dòng đầu chứa số nguyên $n$ là số bộ đề.
• Dòng thứ hai chứa $n$ số nguyên $a_1,a_2,\dots ,a_n$ là số bài của từng bộ đề.

Dữ liệu ra

In ra một số nguyên: số ngày nhiều nhất Polycarp có thể luyện tập.

Ràng buộc

• $1\le n\le 2·{10}^5$
• $1\le a_i\le 2·{10}^5$

Ví dụ