CDF¶ Cumulative distribution function for a distribution. $ wo 'CDF[ChiDistribution[n], x]' Piecewise[{{GammaRegularized[n/2, 0, x^2/2], x > 0}}, 0]