How do you multiply #4(sqrt2/2)#?