Yep, of course the formal proof would proceed by something like induction, using that multiplication of reals is associative. Such a proof is terribly boring though and doesn't tell you anything that is at all surprising.
Note though, that even this formal proof would only show that...