For contractive interval functions $\left[g\right]$ we show that $\left[g\right]\left({\left[x\right]}_{ϵ}^{k_0}\right)\subseteq \int \left({\left[x\right]}_{ϵ}^{k_0}\right)$ results from the iterative process ${\left[x\right]}^{k+1}:=\left[g\right]\left({\left[x\right]}_{ϵ}^k\right)$ after finitely many iterations if one uses the epsilon-inflated vector ${\left[x\right]}_{ϵ}^k$ as input for $\left[g\right]$ instead of the original output vector ${\left[x\right]}^k$. Applying Brouwer’s fixed point theorem, zeros of various mathematical problems can be verified in this way.