prod_(k=0)^4 k!