I've got as part of an assignment to determine whether a given function is total, and if so, to say whether it's injective, surjective, or bijective. I can tell the answer by looking at it, but I feel that I need to make some kind of concrete proof that the function is total.
$f:\mathbb{N}\to \mathbb{N},f(x)=x^2+4$
I can tell by looking at it that it's a one-to-one total function. But is there a satisfactory way I can prove that this is a total function? I'm extremely new to this whole idea of functions outside of algebraic functions (such as total and partial functions)...