| Summing the perimeters through level n gives |
| (2 + sqrt(2)) + ((2 + sqrt(2))/2)*(1 + (3/2) + ... + (3/2)n-2) |
| Recognizing the last bracketed sum as a finite geometric series, we see it
sums to |
| (1 - (3/2)n-1)/(1 - (3/2)) |
| After some reduction, we see the sum of the perimeters through level n is |
| (2 + sqrt(2))*(3/2)n-1 |
| As n -> infinity, the sum of the perimeters -> infinity and so |
| the gasket has infinite perimeter. |