An inductive proof for a closed form formula in truncated inverse sampling