T1-T3: 400 random band K: min(T - E|Z_K|) = 1.295e-03, min(T - F) = 6.033e-04, min(F - E|Z_K|) = 1.159e-04
T4: 400 random (K, T): Lemma 4 held for psi_(t,h) and exp(k w) (min gap -8.882e-16); control psi = (t - w)_+^2 (psi'' nonincreasing): the inequality failed in 363 of 400 cases
T4: Remark 5: E(Z_d_sqrt2)_+ = 0.428881942480 (T/2 = 0.428881942480), E(Z_d_2)_+ = 0.389400391536 = e^(-1/4)/2; the stop-loss decreases, as stated
T5: hostile max E|Z_K| over band K = 0.857762623090 (T = 0.857763884961, T - max = 1.262e-06) at big [(1.4125, np.float64(0.8770810739149181)), (1.4125, np.float64(0.12291892608508193))] res []
T5: hostile max (E|Z_K| - F) = -5.700e-06 at big [(1.4125, np.float64(0.9989999990097552))] res [(0.99, np.float64(0.000999999000020516))]
TOTAL FAILS: 0
