N = gets.to_i
d = gets.chomp.split.map(&:to_i)

(N-1).downto(1) do |i|
     if d[i] >= d[i-1]
     	next
     elsif d[i-1] - d[i] == 1
     	d[i-1] = d[i-1]-1
     else
     	puts 'No'
     	exit
     end
end

puts 'Yes'