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

def judege(array)
    array.each_with_index do |x, i|
        (i..array.count-1).each do |j|
            y = array[j]
            if x - 1 > y 
                return false
            end
        end
    end
    true
end

puts judege(array) ? 'Yes' : 'No'
