Comment by amenghra

True. I wonder what's the largest file you can decompress to given some bound on the compressed result.