Theorem: lim_{p->inf} K p/(1 + K p) - 1 = 0 (Langmuir saturation Mobius limit)

Theorem (Langmuir-saturation-limit canonical): lim_{p->inf} K p/(1 + K p) = 1 since the leading order of numerator (K p) and denominator (K p) cancel, leaving 1. Hence lim_{p->inf} theta - 1 = 0. Canonical sympy pins: K, p = sp.symbols('K…