sqrt(3)/2