Реслюков Александр, циклы во всех процессах идут синхронно (не в смысле такт в такт, а в смысле, что после вызова fork счётчик i одинаков в процессе-родителе и в процессе-потомке). На каждой итерации цикла количество процессов удваивается. k = 3 + 1 + 2 - 3 = 3, т.е. всего будет 4 итерации. После i = 0 процессов станет 2, после i = 1 их станет 4, после i = 2 их станет 8, после i = 3 их станет 16.