All compressed files have at most N-1 bits, so there are at…

All compressed files have at most N-1 bits, so there are at most (2^N)-1 different compressed files [2^(N-1) files of size N-1, 2^(N-2) of size N-2, and so on, down to 1 file of size 0].

https://twetch.app/t/13f5cd47aef371bd128d9cc1f42b0d814733c13d5dd4aaf3917fadb6a241441e