o si w>=ln(z): x'= y (fin)