Integrate the following functions
`int_(0)^(pi//2) " cos x dx"`

Explanation

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

### Step 1: Identify the integral
We need to evaluate the integral of the function \( \cos x \) from \( 0 \) to \( \frac{\pi}{2} \).

### Step 2: Find the antiderivative
The antiderivative (or indefinite integral) of \( \cos x \) is \( \sin x \). Therefore, we can write:
\[
...