n = gets.to_i
ary = gets.split(' ').map(&:to_i)
pre = 0
ary.each_with_index do |num,i|
  if pre > num
    puts 'No'
    exit
  end
  if ary[i]-1 >= pre
    ary[i] = ary[i]-1
  end
  pre = ary[i]
end
puts 'Yes'