So this is going to end up being a positive 4 square roots of y. And actually, just to make it clear, when we take the antiderivative, I'm going to write that as 4y to the 1 half power. And we're going to multiply all of that stuff by dy. 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.