2011년 4chan의 익명 유저가 애니메이션 '스즈미야 하루히의 우울'의 14화를 가능한 모든 순서로 보려면 최소 몇 화가 필요한지 계산하다가, 수학 미해결 문제인 초순열의 최소 길이 하한을 증명해 버렸다. 이 증명은 7년간 묻혀 있다가 2018년에야 수학자에 의해 발견되었다.