fac 0 1 fac n r greater n 0 m - n 1 f fac m r * n f