Proof algorithm with convergence order calculation