derivation of P;sleep t