lecture20: Kolmogorov Complexity
http://en.wikipedia.org/wiki/Stirling's_approximation