[math-fun] The natural numbers start with 2