[DETECTED] phi_2({0,1,2}) := 2/5, d=1: strict E_lat > E_iid at n=3 fails
[DETECTED] phi_2({0,1,2}) := 2/5, d=2: strict E_lat > E_iid at n=3 fails
[DETECTED] phi_2({0,1,2}) := 2/5, d=3: strict E_lat > E_iid at n=3 fails
[DETECTED] phi_1({0,1,2,3}) := 1/5, d=1: Theorem 3(ii) closed form mismatch
[DETECTED] phi_1({0,1,2,3}) := 1/5, d=2: Theorem 3(ii) closed form mismatch
[DETECTED] Theorem 3(i) with 20/48 instead of 19/48, d=1: mismatch
[DETECTED] Theorem 3(i) with 20/48 instead of 19/48, d=2: mismatch
[DETECTED] direct d=1 with A/(n+1) instead of A/n: differs from expansion at n=3
[DETECTED] threshold p=4 d=1: claimed n0-1 = 3 rejected (P(n0-1) <= 0)
[DETECTED] threshold p=4 d=2: claimed n0-1 = 19 rejected (P(n0-1) <= 0)
[DETECTED] threshold p=4 d=3: claimed n0-1 = 53 rejected (P(n0-1) <= 0)
[DETECTED] threshold p=4 d=4: claimed n0-1 = 120 rejected (P(n0-1) <= 0)
[DETECTED] threshold p=6 d=2: claimed n0-1 = 7 rejected (P(n0-1) <= 0)
[DETECTED] threshold p=6 d=3: claimed n0-1 = 15 rejected (P(n0-1) <= 0)
[DETECTED] threshold p=6 d=4: claimed n0-1 = 25 rejected (P(n0-1) <= 0)
[DETECTED] threshold p=8 d=2: claimed n0-1 = 5 rejected (P(n0-1) <= 0)
[DETECTED] threshold p=8 d=3: claimed n0-1 = 10 rejected (P(n0-1) <= 0)
[DETECTED] threshold p=10 d=2: claimed n0-1 = 4 rejected (P(n0-1) <= 0)
[DETECTED] Theorem 4 bound x2, p=4, d=1, n=3: violated by the exact value
[DETECTED] Theorem 4 bound x2, p=6, d=1, n=3: violated by the exact value
[DETECTED] Theorem 4 bound x2, p=8, d=1, n=3: violated by the exact value
[DETECTED] Prop 5 with T_4/8 (p=4, d=1): violated for n in [3, 4, 5, 6, 7, 8]...
SUMMARY: 22/22 wrong inputs detected
