half factorial