“…The SC has been proved to be the LFC for the following procedures: The BEM procedure of Bechhofer, Elmaghraby, andMorse (1959, proved by Kesten and, the BK curtailed sequential procedure of Bechhofer and Kulkarni (1984), the CS inverse sampling procedure of Cacoullos and Sobel (1966), Alam's (1971) fixed difference procedure (proved by Alam for k = 2 and by Bhandari and Ali [1994] for k ≥ 3), Bechhofer, Kiefer, and Sobel's (1968) unbounded procedure BKS (proved also by Levin, 1984), and Chen's (1992) curtailed inverse-sampling procedure. The SC has been conjectured to be the LFC for Bechhofer and Goldsman's truncated BKS procedure in Bechhofer andGoldsman (1985b, 1986), the RA procedure of Ramey and Alam (1979) and Bechhofer and Goldsman (1985a), Chen's (1992) C (also called RA ) truncation curtailment modification of RA, and the recently proposed linear programming-based optimal randomized and integer-programming-based optimal deterministic procedures in Tollefson (2012) and Tollefson et al (2014a,b). For k = 2 alternatives the conjecture for the RA and C procedures has been proved in Ramey and Alam (1979) and Chen (1992), respectively.…”