Modified the precondition of function f to be i<=1,000,000 and thus
updated the bound results.