Cumulative distribution function - Wikipedia
https://en.wikipedia.org/wiki/Cumulative_distribution_functionThe cumulative distribution function of a real-valued random variable is the function given by where the right-hand side represents the probability that the random variable takes on a value less than or equal to . The probability that lies in the semi-closed interval , where , is therefore In the definition above, the "less than or equal to" sign, "≤", is a convention, not a universally used one (e.g. Hungarian literature uses "<"), but the distinction is important for discrete distributions. …