lean_workbook_plus_27780

But, also, since we assumed $z = min(x,y,z)$ , and all are positive, we know that $z\le \dfrac{1}{3}$ Therefore, the expression becomes: $\dfrac{\sqrt {2}}{2} \ge \dfrac{\dfrac{1}{3}}{\dfrac{\sqrt {2}}{3}}$