lean_workbook_plus_37835

Evaluating each expression by hand, we get: $2-\sqrt{2} \approx 0.5857864376269049511983112757903019214303281246230519268233202620$ and $\sqrt{5} - 2 \approx 0.2360679774997896964091736687312762354406183596115257242708972454$ Thus $2-\sqrt{2}$ is larger.