What... ouch. This is not math, this is... I don't even.<p>Read the post closely. The author introduces a set S of squarey curves approximating a circle. This set has an obvious correspondence with the natural numbers: there is curve #1, curve #2, etc. Then the author defines a function f: S->S that takes curve #n to curve #n+1. Wait, that doesn't sound right! The function f has no interesting structure whatsoever, it's exactly equivalent to defining f(n)=n+1 on the naturals. Of course, taking the "limit" of a function f: S->S makes no sense at all.<p>What would make sense is taking the limit of a certain function N->C, where N is the naturals and C is the set of all curves on the plane. That is, the limit of a sequence of curves (not of a function from curves to curves as the OP tried to say). To talk about such limits, you need to define what it means for a sequence of curves to converge - a "topology" on C. There are many ways to do that, some more outlandish than others. One way is <i>pointwise</i> convergence: assume a parameterization t->C_i(t) on each curves in the sequence, and require that C_i(t) converges co C_lim(t) for each t separately.<p>Now, pretty much any reasonable notion of "convergence" on the space of all curves has to <i>imply</i> pointwise convergence. That is, pointwise convergence is a very "weak" notion of convergence: if we have a sequence of curves that has a limit in some reasonable sense, then it had better coincide with the pointwise limit, dontcha think?<p>And here we come to the second facepalm moment in the post. Under pointwise convergence, the sequence of squarey curves under discussion does <i>not</i> converge to some "right angled fractal beast". It converges to the circle. As n grows, every point on S_n comes closer and closer to some point on the circle. Ain't nothing more to it.<p>Now the correct explanation for the original puzzle. Pointwise convergence of curves doesn't imply that their lengths converge to the limit's length. Hell, we don't even need 2-dimensional space to show that! A simple <i>straight line</i> will do. Imagine a human traveling a straight road of 1km length in this fashion: he takes two steps forward, then one step back, then repeats. In the end he will have traveled about 3km instead of 1km. As we make the human and his steps tinier and tinier, his movement looks smoother and smoother to an external observer, but he still travels 3km in total instead of 1. Or maybe (going back to the 2D space) the human could take a step left, then forward, then right; this would make his path look like a fine comb that approximates the straight line more and more closely, but it's always 3x longer. Something like this is happening in the original puzzle.<p>Finishing touch: there <i>are</i> notions of convergence where it's true that the length of the curves in the sequence always converges to the length of the limit. One such notion says that the <i>direction of travel</i> (velocity vector) must also pointwise converge to the velocity vector of the limit curve. Under this definition of convergence, the original sequence of curves does not converge, because it makes too many sharp turns.