n = gets.chomp.to_i
h_list = gets.chomp.split(" ").map(&:to_i)

cnt = 0
flag = false
h_list.max.times do |i|
  n.times  do |j|
    h = h_list[j]
    if h >= i + 1
      flag = true
    else
      if flag
        flag = false
        cnt += 1
      end
    end
  end
  if flag
    cnt += 1
  end
  flag = false
end
puts cnt
