starting on DKW inequality