Inference from a sequential design: proof of a conjecture by Ford and Silvey