n = gets.to_i
h = gets.split.map &:to_i
check = 0
(n - 2).times do |i|
  next if h[-1 * (i + 1)] >= h[-1 * (i + 2)]

  h[-1 * (i + 2)] -= 1
  unless h[-1 * (i + 1)] >= h[-1 * (i + 2)]
    check = 1
    break
  end
end
puts check.zero? ? :Yes : :No