Real Multiplication is Sequentially Computable

Theorem

Let $f : \R^2 \to \R$ be defined as:

$\map f {x, y} = x y$

Then $f$ is sequentially computable.

Proof

Follows immediately from Product of Computable Real Sequences is Computable.

$\blacksquare$