how to solve an inequality



dear group,

testing hypotheses (e.g. of a binomial distributed X) and seeking for an unknown
probability, one comes e.g. to inequatities of the form:

F(50,1/6,k-1) >= 0.95

'solving' for k one should get 14,15,..

Q: Maxima's solve does not seem to 'solve' inequalities like  solve(2*x+1<3).
   How to treat such problems with Maxima?

-- 
HTH Wolfgang