Solution
= Solution
The <chain rule> gives $\frac{d}{dx}\cos(\mu x)=-\mu\sin(\mu x)$. Dividing by the nonzero constant $-\mu$ gives the <antiderivative>
$$
\boxed{\int\sin(\mu x)\,dx=-\frac{\cos(\mu x)}\mu+C.}
$$
= Solution
The <chain rule> gives $\frac{d}{dx}\cos(\mu x)=-\mu\sin(\mu x)$. Dividing by the nonzero constant $-\mu$ gives the <antiderivative>
$$
\boxed{\int\sin(\mu x)\,dx=-\frac{\cos(\mu x)}\mu+C.}
$$