# How do you find the derivative of cos(pi/2)?

$\cos \left(\frac{\pi}{2}\right) = 0$
$\frac{d}{\mathrm{dx}} \left(0\right) = 0$