An Infinite Antichain of Permutations
  We constructively prove that the partially ordered set of finite permutations ordered by deletion of entries contains an infinite antichain. 
Mikl\'os B\'ona, Daniel A. Spielman