Evaluate : `int_(0)^(pi//2) sin x dx `

Explanation

To evaluate the integral \( \int_{0}^{\frac{\pi}{2}} \sin x \, dx \), we will follow these steps:

### Step 1: Set up the integral
Let \( I = \int_{0}^{\frac{\pi}{2}} \sin x \, dx \).

### Step 2: Find the antiderivative of \( \sin x \)
The integral of \( \sin x \) is known to be:
\[
...