TeX source:

3.145 \geq \frac{10}{3.317} \sqrt(\frac{3.250^2}{9+3.250^2}) = 3.015 * 0.735 = 2.215