# Question: give preconditions on the variable t in the following algorithm...

###### Question details

Give preconditions on the variable t in the following
algorithm so that the

postcondition holds. Assume x ∈ R.

Postcondition: p = xt.

p←0 i←0 while i<t do

i←i+1 p←p+x