> Если у нас по спекам размер ограничен 2^32, то размер запакованного файла
> по нашему, школьному разумению, может быть как 30 байт, так и
> 4ГБ + 30 байт?

Уточнение: имеется в виду размер поля для уазания размера входных, оригинальных данных.
И еще есть такая штука как ман:
> BUGS
>       The gzip format represents the input size modulo 2^32, so the --list
>       option reports incorrect uncompressed sizes and compression ratios for
>       uncompressed files 4 GB and larger.  To work around this problem, you
>       can use the following command to discover a large uncompressed file's
>       true size:
>            zcat file.gz | wc -c
>