Yes F1 has been in 4k for a number of years now, Sky UK uses as part of their dedicated F1 channels on their Q box. 4K is generally an expensive exercise for non-international sports and is only in a select number of sports in limited way; I don't think EPL or other football leagues are in 4K either and neither is UK rugby.