N = gets.to_i
h = []
h = gets.split.map(&:to_i)

d = 0
low = 0
1.upto (N-1) do |i|
  d = h[i] - h[i-1]
  # 減少したor変わらない場合のみなんかする
  if d <= 0
    low += (-d)
    if low >= 2
      puts "No"
      exit
    end
  else
    low = 0
  end
end
puts "Yes"