Bounding the residual finiteness of free groups