[see also: certainly
The following easy lemma is surely folklore.
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.