Text this: Stress concentration factors: determination of ranges of values by the method of quantifier elimination