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