[sth; to sth
The terms involving a≠ 1 contribute O(n), since......
These upper bounds are too large to be useful in computer calculations in general, but the ideas in the proofs will surely contribute to better bounds in the future.