• محدودیت زمان: ۱ ثانیه
• محدودیت حافظه: ۲۵۶ مگابایت

دوره‌ی پارسال که گذشت حضوری نبود و به‌خاطر همین به بچه‌ها خیلی خوش نگذشت، رو این حساب شازززیا تصمیم گرفتند بچه‌های دوره را یک بار دیگر دور هم جمع کنند تا هم یک دست فوتبال بازی کنند هم اینکه بالاخره شام طلایشان را بدهند. از آنجایی که تعدادی از بچه‌ها سر تشکیل تیم فیس و افاده‌ی زیادی داشتند، به توافق نرسیدند و برنامه داشت بهم می‌ریخت. بچه‌ها شروع کردند به دعوا... یک سریا قهر کردند و رفتند... بعضی ها هم نشستند گریه کردند... حاج داوود هم نشسته بود و داشت از منظره لذت می‌برد... خلاصه... . آخر هم هیچ کس نمی‌دانست که فوتبال برگزار می‌شود یا این هم نقشه‌ای بوده که باز شام طلا را ندهند.

تا اینکه ریش سفید شازززیا، آقاتیزی، سر رسید و تصمیم گرفت جوری تیم کشی را انجام بدهد که همه خوشحال شوند و آخر سر هم یک شام حسابی نصیبش شود. آقاتیزی به بچه‌ها از $1$ تا $n$ شماره داد. نفر $i$ام می‌گوید که اگر تیم من کمتر از $a_i$ عضو داشته باشد ناراحت می‌شوم.

حالا جدا از راضی کردن بچه‌ها آقاتیزی می‌خواهد تعداد تیم‌ها را زیاد کند. از آنجایی که آقاتیزی بازنشست شده است و نمی‌تواند این مسئله را حل کند به کمک شما نیاز دارد.

ورودی

در سطر اول ورودی عدد $n$ که نشان دهنده تعداد بچه‌ها آمده است. $$1 \le n \le 1000,000$$ در خط $i$ام از $n$ خط بعدی، عدد $a_i$ که نشان دهنده حداقل اندازه‌ی تیمی که نفر $i$ام در آن باشد و ناراحت نشود آمده است. $$1 \le a_i \le n$$

خروجی

در خط اول خروجی بیشترین تعداد تیم‌ها را چاپ کنید.

زیرمسئله‌ها

مثال

ورودی نمونه ۱

5
2
1
2
2
3

خروجی نمونه ۱

2

توضیح نمونه:

• گروه اول: نفر اول، نفر سوم و نفرم پنجم.
• گروه دوم: نفر دوم و نفر چهارم.