fampi'i lujvo

x1 is the factorial of x2.

See also ne'o