factorials = 1 : zipWith (*) factorials [1..]