Category:Distribution Function of Finite Borel Measure