Given a non-negative integer n, return n! (factorial) using recursion.