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

def judege(array)
    kudari = false
    (0..array.count-2).each do |i| 
        x = array[i]
        y = array [i+1]
        if x - 1 > y 
            return false
        elsif x - 1 == y
            if kudari == false
                kudari = true
            else
                return false
            end
        elsif x == y
        elsif x < y
            kudari = false
        end
    end
    true
end

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