This comment reveals the insight that 10^20k is equivalent to the number of different possible 64kB files