1: \begin{proof}[Proof of Theorem \ref{Thm:R-Upper}.]

2: Calculating the upper bounds involves solving rather large linear

3: programs. Hence the proofs are too long to reproduce here and it is

4: unfeasible for them to be checked by humans. Data files verifying

5: our claims can be provided upon request. We stress that although the

6: results were verified using a computer that no floating point data

7: types were used during the verification. Consequently no rounding

8: errors could occur in the calculations making the results completely

9: rigorous.

10: \end{proof}

11: