@sdamico@Kazanjy I don't know about SF in particular, but typically pre-medicare retirement (this is a huge expense for a cop that retires at 45), and then Medicare Advantage to add additional coverage on top of base Medicare for retirees.
@RSGAT @Katchin05 It’s not the penal statute, but you can’t convince me that our legalization law starting at 21a-420 is an accident. Even worse, it’s chapter 420h.
@ccanonne_ In particular, for any multiple of exp(x) epsilon, eventually |u’| goes below half epsilon exp(x), and I believe you can compute a point fairly easily at which |u| must be permanently below epsilon exp(x). Not as clean as some of the other solutions, of course.
@ccanonne_ Define u = e^x f, so f+f’ = exp(-x)u’. Then we’ve reduced the problem to proving that u’ is subexponential => u is subexponential. There may be a clever way to do it, but the obvious is to do some slightly complicated algebra with epsilons that I believe works.