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

0.upto(N - 2) do |i|
  if h[i] > h[i + 1]
    h[i] -= 1
  end

  if i > 0 && h[i - 1] > h[i]
    puts 'No'
    exit
  end

  if h[i] > h[i + 1]
    puts 'No'
    exit
  end
end

puts 'Yes'