k
public override double DistributionFunction(int k) { if (k < -1) return 0; if (k >= 1) return 1; return 0.5; }