I just discovered this absolutely insane identity, am I the next oiler? sqrt(1/2) vs sqrt(2)/2