#2051. EGROUP

Chỉ dẫn hàng ngày của nông dân John ghi rất rõ ràng: “Trước khi dùng bữa tối, đàn bò cần xếp thành một hàng dọc. Những con cầm tấm thẻ số luôn đứng trước những con cầm tấm thẻ đứng số ”.

Tuy nhiên, đàn bò của nông dân John lại gây náo loạn và đứng sai vị trí. Có tất cả con bò , con bò thứ (từ đầu hàng trở xuống) hiện đang cầm tấm thẻ . Tuy nhiên, nông dân John không quá khắt khe về chuyện phạt lũ bò. Anh quyết định sửa lại giá trị trên một số tấm thẻ sao cho điều luật trên được thỏa mãn (sau khi sửa, có thể sẽ không còn tấm thẻ số hoặc số nào).

Hãy giúp nông dân John sửa ít tấm thẻ nhất mà vẫn đảm bảo điều luật. Anh không thể đổi chỗ các con bò cho nhau (các con bò có kích thước quá lớn để có thể làm việc đó).

Dữ liệu vào:

• Dòng đầu chứa số nguyên dương ;
• dòng sau, dòng thứ chứa số nguyên dương .

Dữ liệu ra:

• Một số nguyên duy nhất là số lần sửa tối thiểu.

Ví dụ:

Dữ liệu vào:

5
1
3
2
1
1

Dữ liệu ra:

1