explicit-k-free-integer-bounds Calculations used to prove explicit bounds on gaps in the sequence of k-free integers