Earlier quoted context omitted.
Na, I'm not - I'm explaining how to "compute: \pi*\pi using repeated addition". Step 1 - find a convenient Cauchy sequence that converges to \pi.
> Na, I'm not Yes, you are. Cauchy sequences are a model of the real numbers (which are the Dedekind-complete ordered field). > I'm explaining how to "compute: \pi*\pi using repeated addition" How will you define π times π as a repeated addition, i.e. something of the form x + x + … + x?
I don't know why you are conflating the words "compute" and "define", do you understand how these are different words? I was responding to how to "compute: \pi*\pi using repeated addition", this is rather different to defining \pi*\pi as a repeated addition.