How do you use the half angle identity to find exact value of sin^3(pi/6)?