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

1.upto(n - 1) do |i|
  if h[i - 1] > h[i]
    if h[i - 1] == h[i] + 1
      h[i - 1] -= 1
    else
      puts 'No'
      exit
    end
  end
end

puts h == h.sort ? 'Yes' : 'No'