The following program fragment with pre- and post-conditions is given: Precondition: n > 0 x = 1 i = 0 while i

The following program fragment with pre- and post-conditions is given: Precondition: n > 0 x = 1 i = 0 while i Gegeben ist folgendes Programmfragment mit Vor- und Nachbedingungen: Vorbedingung: n>0 AX=1^i = 0 while i <>