How do you express sin(π6)cos(π2) without using products of trigonometric functions?