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

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

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

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