MTTF expressions for K = 1