n = gets.chomp.to_i
array = gets.chomp.split.map(&:to_i)
 
(0..n - 3).each do |i|
  if array[i] - 1 > array[i + 1] || array[i] - 1 > array[i + 2]
    res = true
  end
end
 
print "#{res ? 'No' : 'Yes'}"