-x*1000 e > 9/10
exp(1000*(-x)) > 9/10
-log(9/10) (-oo, -----------) 1000
x in Interval.open(-oo, -log(9/10)/1000)
-log(9/10) x < ----------- 1000
x < -log(9/10)/1000