# coding: utf-8
n = gets.to_i
h = gets.split(" ").map{|e| e.to_i}

ans = "Yes"
min = 0
# 全ての要素に対して、前の要素以上となっていることを保証する
h.each_with_index do |e, i|
  break if i == n - 1
  
  if h[i] <= h[i + 1]
    # ok
    next
  elsif h[i] - 1 <= h[i + 1] and h[i] - 1 >= min
    h[i] -= 1
    min = h[i]
    # ok
    next
  else
    ans = "No"
    break
  end
end
puts ans
