That may well be but it's not 4K unless you stretch it out over the entire field of view which would be crazy huge :) at a normal size it would be about 1080p effectively, maybe a little higher.

See also this post which has more numbers: https://news.ycombinator.com/item?id=39323574