prod_{i=0}^4 (4*i - 1)