#!/usr/bin/ruby
#encoding: utf-8

# 「前から調べる場合、できるだけ1下げるほうが、構成しやすい」
# (貪欲法)

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

ans = false

if n == 1
  puts "Yes"
  exit
end

# できるだけ1下げる
(0..n-1).each do |i|
  if i == 0
    h[i] -= 1
  else
    if h[i-1] <= h[i]-1
      h[i] -= 1
    end
  end
end

h2 = h.sort
(0..n-1).each do |i|
  if h[i] != h2[i]
    puts "No"
    exit
  end
end

puts "Yes"
