If you want a 4K file as your output, you definitely need to do what Roger said.
However, if you don’t need 4K as your output, some people take 4K into 1080HD comps as a way to “crop” their image if you don’t have action across the entire original clip or need to appear more zoomed in. Also, a large file size savings.