...and 3840x2160 is roughly 4000x2000, thus "4K".

It's close enough for the marketing department, and now that's what it's understood to mean.