What is sin(pi/6)?