prod_{i=0}^4 (4