all_pos_ints function

Check whether all arguments are strictly positive natural numbers