left factorial