Optimal Gersgorin-style estimation of extremal singular values