n = gets.chomp.split(" ").map(&:to_i)[0]

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

flag = true
(line.length - 1).times do |i|
    if line[i] < line[i + 1]
        line[i + 1] -= 1
    end
    if line[i] > line[i + 1]
        flag = false
    end
end

puts flag ? "Yes" : "No"
