(a-b)^2 /2≥0
a^2/2-ab+b^2/2≥0
a^2+b^2 ≥ (a^2+2ab+b^2)/2
a^2+b^2 ≥ (a+b)^2/2
√(a^2+b^2 ) ≥√2/2*(a+b)^2