Talk:Denjoy–Koksma inequality