Efficiently bounding large determinants is an essential step in non-relativistic fermionic constructive quantum field theory to prove the absolute convergence of the perturbation expansion of correlation functions in terms ...