public function dataProviderForCDF() { return [[0, 1, 0], [1, 1, 0.6321206], [2, 1, 0.8646647], [3, 1, 0.9502129], [2, 1 / 3, 0.4865829], [4, 1 / 3, 0.7364029], [4, 1 / 5, 0.550671]]; }