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

max = h[0]
checker = true

for i in 1...N do
  max = [max, h[i]].max
  if max - h[i] > 1 then
    checker = false
    break
  end
end

checker ? (puts "Yes") : (puts "No")
