Góc nhìn quan trọng

Một triển lãm gồm $n$ chồng khối lập phương xếp cạnh nhau, chồng thứ $i$ gồm $a_i$ khối chồng lên nhau bắt đầu từ mặt sàn. Chiều cao tối đa của triển lãm là $m$, vì vậy $a_i\le m$ với mọi $i$.

Có hai camera quan sát:

• Một camera trên trần nhà nhìn từ trên xuống (top view): mỗi cột (chồng) hiện ra nếu nó chứa ít nhất một khối.
• Một camera ở tường phải nhìn từ bên (side view): mỗi tầng $h$ từ $1$ đến chiều cao lớn nhất hiện ra nếu có ít nhất một khối nằm ở tầng đó (tại bất kỳ cột nào).

Bạn muốn gỡ bỏ càng nhiều khối càng tốt, sao cho hình ảnh thu được từ cả hai camera không thay đổi.

Lưu ý rằng trong triển lãm không có trọng lực: sau khi gỡ bỏ một số khối, các khối còn lại không cần phải nối liền với sàn, không bị rơi xuống và bạn cũng không được phép di chuyển khối bằng tay.

Hãy tính số khối lớn nhất có thể gỡ bỏ.

Dữ liệu vào

• Dòng đầu chứa hai số nguyên $n$ và $m$ — số chồng và chiều cao triển lãm.
• Dòng thứ hai chứa $n$ số nguyên $a_1,a_2,\dots ,a_n$ — số khối ban đầu ở mỗi chồng.

Dữ liệu ra

In ra một số nguyên — số khối lớn nhất có thể gỡ bỏ.

Ràng buộc

• $1\le n\le 100000$
• $1\le m\le {10}^9$
• $1\le a_i\le m$

Ví dụ