N = gets.to_i
h = gets.split.map!{|i| i.to_i}

h << 0
c = 0

while h.size > 1 do

    for i in 0..h.size-1
        if h[i] <= 0
            if i == 0
                h[i] = nil
                next
            end

            if h[i-1] == nil || h[i-1] <= 0
                h[i-1] = nil
                next
            end

            c += 1
        end
    end

    h.compact!
    h.map!{|i| i -= 1}

end

puts c