If μ is the starting distribution of Z1, we hence get