n = gets.chomp.to_i
h_arr = gets.chomp.split(" ").map(&:to_i)

h_arr << 10 ** 9

h_arr.each_cons(3) do |h1, h2, h3|
  if h1 - h2 >= 2 || h1 - h3 >= 2 then
    puts "No"
    exit 0
  end
end

puts "Yes"
