Add proofs for epsilon -> 0 in probability