Simplify 4/(i square root of 2)