The HW only supports up to 1080p60 (a tiny bit more with overclocking IIRC).
So for 4K you would need to use a SW decoder, which may or may not be able to handle 4K. I'm sure someone must have tried it, so will be better palced to comment on the SW decoder side.
Principal Software Engineer at Raspberry Pi (Trading) Ltd.
Contrary to popular belief, humorous signatures are allowed. Here's an example...
“I think it’s wrong that only one company makes the game Monopoly.” – Steven Wright