lean_workbook_plus_32004

Without using a calculator or approximations like $\sqrt{2} \approx 1.414$ or $\sqrt{3} \approx 1.732$, prove that $2\sqrt{3}-2 > \sqrt{2}$.