How do you find the limit of sin(x+4sinx)sin(x+4sinx) as x approaches pi?