CPM Homework Help : CALC Problem 5-137

Multiple Choice: $\frac { d } { d x } \int _ { 0 } ^ { \pi / 3 } \operatorname { sin } ( x ) d x =$

$\frac { \sqrt { 3 } } { 2 }$

$\frac { 1 } { 2 }$

$- \frac { 1 } { 2 }$

undefined

Hint:

Notice that the Fundamental Theorem of Calculus, Part 1 states that the derivative of an INDEFINITE integral is the original function.
This, however, is a DEFINITE integral, and a definite integral has a finite sum. What is the derivative of a finite value?