Abstract: | We present probabilistic proofs for the following two facts: (i) A k out of n system of i.i.d (independent identically distributed). IFR (increasing failure rate) components has an IFR life distribution. (ii) A compound Poisson process with nonnegative i.i.d jumps with PF2 distribution is IFR. |