n = gets.chomp.to_i

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

(n-1).times do |i|
  # 前後を見て、減らせるなら減らす
  if h[i] -1 <= h[i+1] && (h[i-1] || 0) <= h[i] - 1
    h[i] = h[i] - 1
    next
  end
  # 減らせない場合、そのままで満たしているかチェック
  if h[i] <= h[i+1]
    next
  end
  puts "No"
  exit
end
puts "Yes"
