Limit[y = E^-(k*t), t -> Infinity]
I believe there are assumptions or conditions or
replacements that must be inserted *somewhere* to result in
y->0, but after several hours of trying...help, please!
(And my compliments on a most amazing program.)