n=gets.chomp.to_i
list=gets.chomp.split.map(&:to_i);
i=0
bool="Yes"
while i < n-1 do
  if list[i] > list[i+1] 
    list[i]-=1
    
    if list[i] > list[i+1] 
      bool="No"
      break
    end
  end
  i+=1
end

puts "#{bool}"
