Yeah, I didn’t intend it as a formal proof, but it is an easy argument to make.

I’m sure an error limit can be given, as it uses a quite basic arithmetics only.