Gabriel's Horn is famous for having an infinite surface area but a finite volume. Prove that the volume is finite.

We are asked to confirm that the volume of the figure known as Gabriel's Horn is finite.

We will use the fact that ` int_1^( oo) (dx)/x^p={[[1/(p-1),"if" p>1],["diverges", p<=1]] `

The solid is generated by revolving the unbounded region between the graph of `f(x)=1/x ` and the x-axis, about the x-axis for `x>=1 ` .

We use the disk method: each disk is a circle of radius f(x).

`V=pi int_1^(oo) (1/x)^2dx `

`V=pi int_1^(oo) (dx)/(x^2) `

Using the Lemma above we get:

`V=pi(1/(2-1))=pi ` which of course is finite.