So we're going to take the integral of this thing, just so I don't have to keep rewriting this thing, from 0 until, if I remember correctly, 3. Yep, from 0 to 3 of this dx. And then we had a pi out front here. We had a pi out front here. So I'll just take that out of the integral. So times pi. Well, now we just have to take the antiderivative.