factorial 4000, 4 workers