[math-fun] Knuth vol. 4