certificate A: gamma=0.666667 kappa=2.581989; 1500 random configurations, n<=7
   max (Th)_n/h_n = 2.515488  (n=7, t=[0.1036 0.4321 0.4747 0.476  0.5309 0.5593 0.9963]),  violations of (Th)<=kappa h: 0
   max relative error of the identity of step (iii): 6.17e-16
   max of (L - bound_L)/h_n = -6.124e-07,  max of (Upper - bound_U)/h_n = -6.124e-07   (must be <= 0)
   crude maximisation over configurations (n<=5): sup found = 2.427798 at t=[0.14542 0.4952  0.4952  0.4952  0.83396]  (kappa = 2.581989)
certificate B: gamma=0.500000 kappa=2.449490; 1500 random configurations, n<=7
   max (Th)_n/h_n = 2.385927  (n=7, t=[0.061  0.4251 0.4416 0.5007 0.5145 0.5355 0.7771]),  violations of (Th)<=kappa h: 0
   max relative error of the identity of step (iii): 6.39e-16
   max of (L - bound_L)/h_n = -2.260e-03,  max of (Upper - bound_U)/h_n = -2.279e-03   (must be <= 0)
   crude maximisation over configurations (n<=5): sup found = 2.329112 at t=[0.2799  0.50045 0.50045 0.50045 0.72234]  (kappa = 2.449490)
nice -n 10 $S/venv/bin/python $F/lemmaA_check.py  29.37s user 0.25s system 66% cpu 44.359 total
