Revision history [back]

"Manual" (and atrociously heavy) solution :

(foo:=(((((c*e^(-k*t))-1)/c).expand()<0)+1/c)).operator()(*map(lambda u:lo
....: g(u).log_expand(), foo.operands()))/-k
t < log(c)/k

HTH (but doubting it),