samples: 120  m = 3..40
violations of (i) e_m <= m/(m-4) e_{m-1}: 0
violations of (ii) e_m <= lambda_m^2/2  : 0
violations of (iii) monotonicity of f,g  : 0
(iv) min g_m over tested cases with lambda_m >= 1/4: 0.01296 at (K, scale, dustfree, m, lambda) = (10, '1/10', True, 3, 0.33449074074074076)
