HDR is probably of a lot more benefit to most consumers than 4K, in practice, but they're nearly always bundled together (1080p HDR TVs _exist_, but they're rare).