An exact factorial expression