Now we're ready to take the antiderivative. So it's going to be equal to pi times the antiderivative of y to the fourth is y to the fifth over 5. Antiderivative of negative 4y squared is negative 4 thirds y to the third power. Antiderivative of the negative y is negative y squared over 2. And then the antiderivative of 4y to the 1 half, let's see, we're going to increment. It's going to be y to the 3 halves. Multiply by 2 thirds.