ABP labeling efficiency: f(0) = 0; f(ln(2)/k) = 1/2; f(∞) = 1 (three exact saturation witnesses)

Labeling-fraction evaluations: f(t=0) = 0 exactly (no reaction at start); f(t = ln(2)/k) = 1/2 exactly (half-labelled at one half-life); f(t → ∞) = 1 exactly (complete labeling at long times). Canonical pins: three exact boundary values…