The Lion King, in all its magnificence, was created in, wait for it… 2k.

Each *frame* in 2k took 100 hours to render. In 4K, that would have been 400 hours, and 800 hours (33 days) for a stereo pair of frames.
I hear no one whining that it wasn’t “sharp enough” in the theater