lukestein’s avatarlukestein’s Twitter Archive—№ 3,145

  1. …in reply to @itaisher
    @itaisher Can’t you get away with “the result follows trivially from the pigeonhole principle (with the proof left as an exercise to the reader)”?