Sony makes a very nice 4K projector. We have used 30 or so of the SRX-R110's and the newer 110T models for projects (10K Lumens). They are a true 4k projector with some ok glass. It is really only usefull on a large screen +15' minimum.
Sony also makes a 5K Lumen
Sony also makes a 5K Lumen
