It's entirely possible the display was only running at 4K instead of the full, native resolution.