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

puts "#{bool}"
