E  Delta_ij(F) = (1-q')^(m-1) Delta_i(f) and 4q(1-q) sum Delta_i^2 = [4q'(1-q') sum Delta_ij^2] q/(m q'(1-q')^(m-1)): 3846 functions (all Boolean f for n <= 2, and for n = 3 with m <= 2; 24 random Boolean f for n = m = 3; 5 random [0,1]-valued f each), 6 values of q', 0 failures
   (9s)
S  M_mj(q')^2 q/(m q'(1-q')^(m-1)) = M_j(q)^2 for symbolic q' and 1 <= m, j <= 8: True; for symbolic m, j (w = 1-q'): True
   (10s)
Q  1 - (1 - q*_mj)^m = q*_j (sympy, K < 30, m <= 5): True; floor(1/(q(2-q))) = K at q = q*_K (1/(q(2-q)) = 1/(1 - e^(-1/K)) in (K, K+1), certified) for K = 1..3000: failures 0
   (10s)
L  (info) lim_(m->oo) q/(m q'(1-q')^(m-1)) with m q' = s: (exp(s) - 1)/s; equals q/((1-q) s) with q = 1 - e^(-s): True
   (10s)
RESULT: ALL CHECKS PASSED (10s)

real	0m10.523s
user	0m10.499s
sys	0m0.024s
