For future reference, we record this in the following corollary.
We quote for future reference another result of Fox: there exists......
This is an interesting area for future research.
For future use, choose any monotone h(m) tending to infinity such that......
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.