while x < n do
	y := y ∗ x
	x := x + 1
end while