probability of x^2 - x + 9 < 1 when x is lognormal distributed