Sympy-exact witness of the smallest non-trivial three-body pair count. Setup: C(n,2) = n·(n-1)/2 as a symbolic one-parameter expression. Identity: at n = 3, C(3,2) = 3·2/2 = 3 — the three distinct pairs (1,2), (1,3), (2,3) in any…
Sympy-exact witness of the smallest non-trivial three-body pair count. Setup: C(n,2) = n·(n-1)/2 as a symbolic one-parameter expression. Identity: at n = 3, C(3,2) = 3·2/2 = 3 — the three distinct pairs (1,2), (1,3), (2,3) in any…