trial 0
  n=4 rho=2/5: eps==pred True, (3.1) True, (3.2) True, Lemma3 True, q2-formula True
  n=5 rho=2/5: eps==pred True, (3.1) True, (3.2) True, Lemma3 True, q2-formula True
  n=6 rho=2/5: eps==pred True, (3.1) True, (3.2) True, Lemma3 True, q2-formula True
  n=7 rho=2/5: eps==pred True, (3.1) True, (3.2) True, Lemma3 True, q2-formula True
  n=8 rho=2/5: eps==pred True, (3.1) True, (3.2) True, Lemma3 True, q2-formula True
trial 1
  n=4 rho=7: eps==pred True, (3.1) True, (3.2) True, Lemma3 True, q2-formula True
  n=5 rho=7: eps==pred True, (3.1) True, (3.2) True, Lemma3 True, q2-formula True
  n=6 rho=7: eps==pred True, (3.1) True, (3.2) True, Lemma3 True, q2-formula True
  n=7 rho=7: eps==pred True, (3.1) True, (3.2) True, Lemma3 True, q2-formula True
  n=8 rho=7: eps==pred True, (3.1) True, (3.2) True, Lemma3 True, q2-formula True
ALL OK: True
