None of the laptops mentioned here will be able to watch 4K videos through the HDMI output, they can only support Full HD resolution (1080p).