Factorial by infix