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

h0 = 0
H.slice(0, N).each {|h|
  if h0 <= h
    h0 = h
  elsif h0 == h + 1
    h0 = h + 1
  else
    h0 = nil
    break
  end
}

puts h0 ? "Yes" : "No"