Euler factorial identity