Question

Prove: the product of any two natural numbers is at least as big as either of them.

Answer 1

$a,b\in\mathbb{N}\\\\ ab\geq a \wedge ab\geq b\\ b\geq 1 \wedge a\geq 1$

The above is true since $a,b\in\mathbb{N}$