How do you rationalize the denominator and simplify 1/sqrt2?