Which of the following would be a valid post$-$condition of the following Hoare triple to replace the

question marks?

$(x=\frac{2**i**4^{i-1}}{i+1})\{ilArri+1\}(???)$

$x=\frac{2**(i+1)**4^i}{i+2}$

$x=\frac{2**i**4^{i-1}}{i+1}$

$x=\frac{2**(i-1)**4^{i-2}}{i}$

$x=\frac{2**i**4^{i-1}}{i+1}+1$