Vạch mực nước

Arkady quan sát một con sông trong $n$ ngày liên tiếp. Mực nước của sông trong ngày thứ $i$ là một số thực nào đó.

Mỗi ngày Arkady ra bờ sông và khắc một vạch lên thành kênh tại đúng độ cao của mực nước ngày hôm đó. Nếu tại độ cao ấy đã có sẵn một vạch từ trước thì không có vạch mới nào được tạo ra. Nước không bao giờ xoá đi các vạch đã khắc, và trước ngày thứ nhất thành kênh chưa có vạch nào.

Ngày thứ $i$, Arkady ghi lại $m_i$ là số vạch nằm hoàn toàn phía trên mực nước ngày đó.

Gọi $d_i$ là số vạch nằm hoàn toàn phía dưới mực nước ngày thứ $i$. Lưu ý rằng mỗi ngày luôn tồn tại đúng một vạch nằm ngay tại mực nước, nên nếu ngày thứ $i$ thành kênh có tổng cộng $t_i$ vạch thì $t_i=m_i+1+d_i$.

Biết dãy $m_1,m_2,\dots ,m_n$, hãy tìm giá trị nhỏ nhất có thể của tổng $d_1+d_2+\cdots +d_n$ trên mọi kịch bản mực nước phù hợp với dãy đã cho.

Dữ liệu vào

• Dòng đầu chứa một số nguyên dương $n$ là số ngày quan sát.
• Dòng thứ hai chứa $n$ số nguyên $m_1,m_2,\dots ,m_n$.

Dữ liệu ra

Một số nguyên duy nhất là tổng nhỏ nhất có thể của số vạch nằm dưới mực nước trên tất cả các ngày.

Ràng buộc

• $1\le n\le {10}^5$
• $0\le m_i<i$

Ví dụ