How do you express sin(π4)sin(π8) without using products of trigonometric functions?