High Definition compression is based on MPEG4 from what I've read. As is DivX etc.
MPEG4 is definitely smaller than MPEG2 for the same picture quality and resolution and duration. 4x sounds about right.
MPEG4 is definitely smaller than MPEG2 for the same picture quality and resolution and duration. 4x sounds about right.