Best lower bound for the min. length of superpermutations proved by wikiuser | Hacker News Reader