How do you multiply 4(sqrt2/2)?