개막식

NlogNsglow에서 열리는 알고리즘 경기의 개막식을 위해, 한 줄로 늘어선 타워 블록을 모두 철거하는 시범을 준비한다. 처음 계획은 블록마다 폭발을 한 번씩 일으켜 무너뜨리는 것이었지만, 시간이 부족해 더 빠른 방법이 필요하다.

블록을 더 빨리 없애려고 범용 운동 / 백열 에너지 입자포(UKIEPC)를 쓸 수 있다. 이 장비는 한 번 충전할 때마다 다음 두 가지 중 하나를 할 수 있다.

• 블록 하나를 골라 그 블록의 모든 층을 없앤다.
• 층 번호 $x$를 골라 모든 블록의 $x$번째 층을 동시에 없앤다.

두 번째 방식에서 층수가 $x$보다 적은 블록은 그대로 남는다. 층수가 $x$보다 많은 블록은 없어진 $x$번째 층 위의 모든 층이 한 칸씩 내려앉는다.

모든 블록의 층수가 주어질 때, 모든 블록의 모든 층을 없애는 데 필요한 최소 충전 횟수를 구하라.

첫째 줄에 블록의 개수 $n$이 주어진다. $2 \le n \le 100000$이다.

둘째 줄에 블록의 층수 $h_1, h_2, \dots, h_n$이 왼쪽부터 순서대로 주어진다. $1 \le h_i \le 1000000$이다.

모든 블록을 완전히 허무는 데 필요한 최소 충전 횟수를 한 줄에 출력한다.