Sympy-exact witness of the Hill-equation half-saturation identity, true for any Hill coefficient n > 0. Setup: Y(L; n, K) = L^n / (K^n + L^n). Substituting L = K: Y = K^n / (K^n + K^n) = K^n / (2·K^n) = 1/2, independent of n. Oracle…
Sympy-exact witness of the Hill-equation half-saturation identity, true for any Hill coefficient n > 0. Setup: Y(L; n, K) = L^n / (K^n + L^n). Substituting L = K: Y = K^n / (K^n + K^n) = K^n / (2·K^n) = 1/2, independent of n. Oracle…