fact_rec works for n <= 12