lean_workbook_plus_75448

$\frac{11+2\cdot 5}{2}<\frac{11+2\sqrt{30}}{2}<\frac{11+2\cdot 6}{2}\Longleftrightarrow \frac{11}{2}<\frac{11+2\sqrt{30}}{2}<\frac{23}{2}$