+factorial (a simple recursive exercise)