How do you rationalize 1/sqrt2?