There are a lot of tiny PCs these days that can output 4k video and audio. Look for something with an N100 or N200 CPU if you want to go as cheap as possible, they tend to be super-cheap and perform well. I've got one of the GMTecs and this wireless keyboard+mouse, works really well from the couch.