derivation of the mean lifetime