sqrt(3 / 8)