Formula for the CDF of an Exponential Random Variable - Search