N = gets.chomp.to_i
H = gets.chomp.split.map(&:to_i)

H.each_cons(3) do |a, b, c|
  next if a <= b && b <= c
  (puts 'No'; exit) if a - b > 2 || b - c > 2

  yes = \
    (a - 1 <= b && b <= c) ||
    (a <= b - 1 && b - 1 <= c) ||
    (a - 1 <= b - 1 && b - 1 <= c) ||
  (puts 'No'; exit) unless yes
end
puts 'Yes'
