The compression used in all HDTV storage and transmission systems will do what if resolution is too high?