public function dataProviderForCDF() { return [[1, 4, 2, 0.3333333333333333], [1, 4, 3.4, 0.8], [1, 5.4, 3, 0.45454545454545453], [1, 5.4, 0.3, 0], [1, 5.4, 6, 1]]; }