Simplify 5/( square root of 2)