n = gets.to_i
ns = gets.chomp.split(' ').map(&:to_i)

r = 'Yes'

(n - 1).downto(1) do |i|
    if ns[i - 1] - ns[i] > 1
        r = 'No'
        break
    end
    ns[i - 1] -= 1 if ns[i - 1] - ns[i] == 1
end

puts r