Statistical inference based on judgment post-stratified samples in finite population Section 6. Concluding remark

We have developed two sampling designs for judgment post stratified samples in a finite population setting. The designs are constructed with two levels of without-replacement policies, design-0 and design-2. Design-0 is constructed by replacing all measured and unmeasured units in a set back in population before selecting the next units. Design-2 is constructed by using without-replacement policy on all units regardless of the measurement status. Hence, random variables in design-0 are independent, but random variables in design-2 are negatively correlated. In these designs, measured observations are ranked and stratified into H MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamisaaaa@348E@ judgment classes after a simple random sample is collected. Using this ranking information, we construct unbiased estimators for the population mean and the variance of these unbiased estimators of population mean. We showed that the new estimators based on level-2 design outperform simple random sample mean, design-0 JPS sample mean and ranked set sample mean estimators. Main focus of this paper was on the estimation of populations mean, but the results also apply to estimation of population total with a minor adjustment in notation.

Post stratification creates random ranks and random number of observations in judgment classes. By conditioning on the measured values in the sample, we construct Rao-Blackwellized estimators by computing the conditional expected value of the estimators over all possible values of random ranks. Rao-Blackwellized estimators are unbiased and more efficient than unconditional estimators. We construct finite sample bootstrap inference for the population mean based on all proposed estimators. The new sampling designs and estimator are applied to 2012 USDA census data to show that they are viable sampling designs and estimators in survey sampling studies.

In one of our current projects, we extend these design-0 and design-2 to two-stage sampling where primary and secondary sampling units constitute two finite populations. In this case, we expect that some interesting optimization problem will arise related the selection of sample sizes and design-0 and design-2 in stage I and II sampling.

Appendix

Proof of Lemma 1: The proof of part (i) is given in Presnell and Bohn (1999) in an infinite population setting. The proof is essentially the same in finite population setting.

For the proof of part (ii), we consider the joint probability mass function of X j MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiwamaaBa aaleaacaWGQbaabeaaaaa@35B9@ and X t MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiwamaaBa aaleaacaWG0baabeaaaaa@35C3@ given their judgment ranks R j = h MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOuamaaBa aaleaacaWGQbaabeaakiaai2dacaWGObaaaa@3771@ and R t = h MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOuamaaBa aaleaacaWG0baabeaakiaai2daceWGObGbauaaaaa@3787@

     P ( X j = x , X t = y | R j = h , R t = h ) = P ( X [ h ] = x , X [ h ] = y ) ; x y , ( x , y ) P . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiuamaabm aabaGaamiwamaaBaaaleaacaWGQbaabeaakiaai2dacaWG4bGaaGil amaaeiaabaGaamiwamaaBaaaleaacaWG0baabeaakiaai2dacaWG5b GaaGPaVdGaayjcSdGaaGPaVlaadkfadaWgaaWcbaGaamOAaaqabaGc caaI9aGaamiAaiaaiYcacaWGsbWaaSbaaSqaaiaadshaaeqaaOGaaG ypaiqadIgagaqbaaGaayjkaiaawMcaaiaai2dacaWGqbWaaeWaaeaa caWGybWaaSbaaSqaamaadmaabaGaamiAaaGaay5waiaaw2faaaqaba GccaaI9aGaamiEaiaaiYcacaWGybWaaSbaaSqaamaadmaabaGabmiA ayaafaGaaGPaVdGaay5waiaaw2faaaqabaGccaaI9aGaamyEaaGaay jkaiaawMcaaiaaiUdacaaMe8UaaGPaVlaadIhacqGHGjsUcaWG5bGa aGilamaabmaabaGaamiEaiaaiYcacaWG5baacaGLOaGaayzkaaGaey icI48efv3ySLgznfgDOfdaryqr1ngBPrginfgDObYtUvgaiuaacqWF pepucqWFaCVlcaGGUaaaaa@77F0@

For h = 1, , H , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiAaiaai2 dacaaIXaGaaGilaiablAciljaaiYcacaWGibGaaiilaaaa@3A3B@ let J h = i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOsamaaBa aaleaacaWGObaabeaakiaai2dacaWGPbaaaa@3768@ be the event that i th MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAamaaCa aaleqabaGaaeiDaiaabIgaaaaaaa@36BE@ order statistic in a set of size H MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamisaaaa@348E@ is judged to be the h th MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiAamaaCa aaleqabaGaaeiDaiaabIgaaaaaaa@36BD@ judgment order statistics. Using this notation, we write

         P ( X [ h ] = x , X [ h ] = y ) = i = 1 H k = 1 H P ( X ( i ) = x , X ( k ) = y , J h = i , J h = k ) ; x y , ( x , y ) P . ( A .1 ) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiuamaabm aabaGaamiwamaaBaaaleaadaWadaqaaiaadIgaaiaawUfacaGLDbaa aeqaaOGaaGypaiaadIhacaaISaGaamiwamaaBaaaleaadaWadaqaai qadIgagaqbaiaaykW7aiaawUfacaGLDbaaaeqaaOGaaGypaiaadMha aiaawIcacaGLPaaacaaI9aWaaabCaeqaleaacaWGPbGaaGypaiaaig daaeaacaWGibaaniabggHiLdGcdaaeWbqabSqaaiaadUgacaaI9aGa aGymaaqaaiaadIeaa0GaeyyeIuoakiaaykW7caWGqbWaaeWaaeaaca WGybWaaSbaaSqaamaabmaabaGaamyAaaGaayjkaiaawMcaaaqabaGc caaI9aGaamiEaiaaiYcacaWGybWaaSbaaSqaamaabmaabaGaam4Aaa GaayjkaiaawMcaaaqabaGccaaI9aGaamyEaiaaiYcacaWGkbWaaSba aSqaaiaadIgaaeqaaOGaaGypaiaadMgacaaISaGaamOsamaaBaaale aaceWGObGbauaaaeqaaOGaaGypaiaadUgaaiaawIcacaGLPaaacaaI 7aGaaGjbVlaaykW7caWG4bGaeyiyIKRaamyEaiaaiYcadaqadaqaai aadIhacaaISaGaamyEaaGaayjkaiaawMcaaiabgIGioprr1ngBPrwt HrhAXaqeguuDJXwAKbstHrhAG8KBLbacfaGae83dXdLaaGOlaiaayw W7caGGOaGaaeyqaiaab6cacaqGXaGaaiykaaaa@875B@

For each i , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiaacY caaaa@355F@ the events { J h = i } ; h = 1, , H , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaiWaaeaaca WGkbWaaSbaaSqaaiaadIgaaeqaaOGaaGypaiaadMgaaiaawUhacaGL 9baacaaI7aGaaGjbVlaaykW7caWGObGaaGypaiaaigdacaaISaGaeS OjGSKaaGilaiaadIeacaaISaaaaa@43F6@ partition the sample space of random variable R j MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOuamaaBa aaleaacaWGQbaabeaaaaa@35B3@ because the i th MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAamaaCa aaleqabaGaaeiDaiaabIgaaaaaaa@36BE@ order statistic is assigned to one and only one judgment rank. Since rank R t MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOuamaaBa aaleaacaWG0baabeaaaaa@35BD@ is obtained independently from another disjoint set using the same ranking procedure, the events { J h = k } ; h = 1, , H , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaiWaaeaaca WGkbWaaSbaaSqaaiqadIgagaqbaaqabaGccaaI9aGaam4AaaGaay5E aiaaw2haaiaaiUdacaaMe8UaaGPaVlqadIgagaqbaiaai2dacaaIXa GaaGilaiablAciljaaiYcacaWGibGaaGilaaaa@4410@ also partition the sample space. Hence, we write

         h = 1 H h = 1 H P ( X ( i ) = x , X ( k ) = y , J h = i , J h = k ) = P ( X ( i ) = x , X ( k ) = y ) ; x y , ( x , y ) P . ( A .2 ) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaabCaeqale aacaWGObGaaGypaiaaigdaaeaacaWGibaaniabggHiLdGcdaaeWbqa bSqaaiqadIgagaqbaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aO GaaGPaVlaadcfadaqadaqaaiaadIfadaWgaaWcbaWaaeWaaeaacaWG PbaacaGLOaGaayzkaaaabeaakiaai2dacaWG4bGaaGilaiaadIfada WgaaWcbaWaaeWaaeaacaWGRbaacaGLOaGaayzkaaaabeaakiaai2da caWG5bGaaGilaiaadQeadaWgaaWcbaGaamiAaaqabaGccaaI9aGaam yAaiaaiYcacaWGkbWaaSbaaSqaaiqadIgagaqbaaqabaGccaaI9aGa am4AaaGaayjkaiaawMcaaiaai2dacaWGqbWaaeWaaeaacaWGybWaaS baaSqaamaabmaabaGaamyAaaGaayjkaiaawMcaaaqabaGccaaI9aGa amiEaiaaiYcacaWGybWaaSbaaSqaamaabmaabaGaam4AaaGaayjkai aawMcaaaqabaGccaaI9aGaamyEaaGaayjkaiaawMcaaiaaiUdacaaM e8UaaGPaVlaadIhacqGHGjsUcaWG5bGaaGilamaabmaabaGaamiEai aaiYcacaWG5baacaGLOaGaayzkaaGaeyicI48efv3ySLgznfgDOfda ryqr1ngBPrginfgDObYtUvgaiuaacqWFpepucaaIUaGaaGzbVlaacI cacaqGbbGaaeOlaiaabkdacaGGPaaaaa@84FF@

Combining equations (A.1) and (A.2), we obtain

h = 1 H h = 1 H P ( X [ h ] = x , X [ h ] = y ) = h = 1 H h = 1 H i = 1 H k = 1 H P ( X ( i ) = x , X ( k ) = y ; J h = i , J h = k ) = i = 1 H k = 1 H P ( X ( i ) = x , X ( k ) = y ) ; x y , ( x , y ) P . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrVfpC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabiGaaa qaamaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGH ris5aOWaaabCaeqaleaaceWGObGbauaacaaI9aGaaGymaaqaaiaadI eaa0GaeyyeIuoakiaaykW7caWGqbWaaeWaaeaacaWGybWaaSbaaSqa amaadmaabaGaamiAaaGaay5waiaaw2faaaqabaGccaaI9aGaamiEai aaiYcacaWGybWaaSbaaSqaamaadmaabaGabmiAayaafaGaaGPaVdGa ay5waiaaw2faaaqabaGccaaI9aGaamyEaaGaayjkaiaawMcaaaqaai aai2dadaaeWbqabSqaaiaadIgacaaI9aGaaGymaaqaaiaadIeaa0Ga eyyeIuoakmaaqahabeWcbaGabmiAayaafaGaaGypaiaaigdaaeaaca WGibaaniabggHiLdGcdaaeWbqabSqaaiaadMgacaaI9aGaaGymaaqa aiaadIeaa0GaeyyeIuoakmaaqahabeWcbaGaam4Aaiaai2dacaaIXa aabaGaamisaaqdcqGHris5aOGaaGPaVlaadcfadaqadaqaaiaadIfa daWgaaWcbaWaaeWaaeaacaWGPbaacaGLOaGaayzkaaaabeaakiaai2 dacaWG4bGaaGilaiaadIfadaWgaaWcbaWaaeWaaeaacaWGRbaacaGL OaGaayzkaaaabeaakiaai2dacaWG5bGaaG4oaiaaysW7caaMc8Uaam OsamaaBaaaleaacaWGObaabeaakiaai2dacaWGPbGaaGilaiaadQea daWgaaWcbaGabmiAayaafaaabeaakiaai2dacaWGRbaacaGLOaGaay zkaaaabaaabaGaaGypamaaqahabeWcbaGaamyAaiaai2dacaaIXaaa baGaamisaaqdcqGHris5aOWaaabCaeqaleaacaWGRbGaaGypaiaaig daaeaacaWGibaaniabggHiLdGccaaMc8UaamiuamaabmaabaGaamiw amaaBaaaleaadaqadaqaaiaadMgaaiaawIcacaGLPaaaaeqaaOGaaG ypaiaadIhacaaISaGaamiwamaaBaaaleaadaqadaqaaiaadUgaaiaa wIcacaGLPaaaaeqaaOGaaGypaiaadMhaaiaawIcacaGLPaaacaaI7a GaaGjbVlaaykW7caWG4bGaeyiyIKRaamyEaiaaiYcadaqadaqaaiaa dIhacaaISaGaamyEaaGaayjkaiaawMcaaiabgIGioprr1ngBPrwtHr hAXaqeguuDJXwAKbstHrhAG8KBLbacfaGae83dXdLaaGOlaaaaaaa@B7F3@

This completes the proof.

Proof of Theorem 1:

(i) We use the conditional expectation to write

E ( μ ^ r ) = h = 1 H E ( I h d n M h ) i = 1 n E ( X i I ( R i = h ) | R i = h ) = h = 1 H E ( I h M h d n M h ) E X [ h ] . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGafqiVd0MbaKaadaWgaaWcbaGaamOCaaqabaaakiaawIcacaGL PaaacaaI9aWaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWGib aaniabggHiLdGccaaMc8UaamyramaabmaabaWaaSaaaeaacaWGjbWa aSbaaSqaaiaadIgaaeqaaaGcbaGaamizamaaBaaaleaacaWGUbaabe aakiaad2eadaWgaaWcbaGaamiAaaqabaaaaaGccaGLOaGaayzkaaWa aabCaeqaleaacaWGPbGaaGypaiaaigdaaeaacaWGUbaaniabggHiLd GccaaMc8UaamyramaabmaabaWaaqGaaeaacaWGybWaaSbaaSqaaiaa dMgaaeqaaOGaamysamaabmaabaGaamOuamaaBaaaleaacaWGPbaabe aakiaai2dacaWGObaacaGLOaGaayzkaaGaaGPaVdGaayjcSdGaaGPa VlaadkfadaWgaaWcbaGaamyAaaqabaGccaaI9aGaamiAaaGaayjkai aawMcaaiaai2dadaaeWbqabSqaaiaadIgacaaI9aGaaGymaaqaaiaa dIeaa0GaeyyeIuoakiaaykW7caWGfbWaaeWaaeaadaWcaaqaaiaadM eadaWgaaWcbaGaamiAaaqabaGccaWGnbWaaSbaaSqaaiaadIgaaeqa aaGcbaGaamizamaaBaaaleaacaWGUbaabeaakiaad2eadaWgaaWcba GaamiAaaqabaaaaaGccaGLOaGaayzkaaGaamyraiaadIfadaWgaaWc baWaamWaaeaacaWGObaacaGLBbGaayzxaaaabeaakiaai6caaaa@7ACB@

Random variables I h / d n ; MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaSGbaeaaca WGjbWaaSbaaSqaaiaadIgaaeqaaaGcbaGaamizamaaBaaaleaacaWG UbaabeaaaaGccaGG7aaaaa@3899@ h = 1, , H , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiAaiaai2 dacaaIXaGaaGilaiablAciljaaiYcacaWGibGaaiilaaaa@3A3B@ are identically distributed. By using part (i) in Lemma 3, the above expectation can be written

E ( μ ^ r ) = E ( I 1 d n ) h = 1 n E X [ h ] = 1 H h = 1 H μ [ h ] = 1 H h = 1 H μ ( h ) = μ , r = 0, 2 MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGafqiVd0MbaKaadaWgaaWcbaGaamOCaaqabaaakiaawIcacaGL PaaacaaI9aGaamyramaabmaabaWaaSaaaeaacaWGjbWaaSbaaSqaai aaigdaaeqaaaGcbaGaamizamaaBaaaleaacaWGUbaabeaaaaaakiaa wIcacaGLPaaadaaeWbqabSqaaiaadIgacaaI9aGaaGymaaqaaiaad6 gaa0GaeyyeIuoakiaaykW7caWGfbGaamiwamaaBaaaleaadaWadaqa aiaadIgaaiaawUfacaGLDbaaaeqaaOGaaGypamaalaaabaGaaGymaa qaaiaadIeaaaWaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWG ibaaniabggHiLdGccaaMc8UaeqiVd02aaSbaaSqaamaadmaabaGaam iAaaGaay5waiaaw2faaaqabaGccaaI9aWaaSaaaeaacaaIXaaabaGa amisaaaadaaeWbqabSqaaiaadIgacaaI9aGaaGymaaqaaiaadIeaa0 GaeyyeIuoakiaaykW7cqaH8oqBdaWgaaWcbaWaaeWaaeaacaWGObaa caGLOaGaayzkaaaabeaakiaai2dacqaH8oqBcaaISaGaamOCaiaai2 dacaaIWaGaaGilaiaaysW7caaIYaaaaa@70B4@

which completes the proof. The last two equalities in the above equation follows from part (i) of Lemma 1.

(ii) For the the proof of Var ( μ ^ 0 ) , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeOvaiaabg gacaqGYbWaaeWaaeaacuaH8oqBgaqcamaaBaaaleaacaaIWaaabeaa aOGaayjkaiaawMcaaiaacYcaaaa@3B62@ we use conditional variance

Var ( μ ^ 0 ) = E { Var ( μ ^ 0 | R ) } + Var { E ( μ ^ 0 | R ) } . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeOvaiaabg gacaqGYbWaaeWaaeaacuaH8oqBgaqcamaaBaaaleaacaaIWaaabeaa aOGaayjkaiaawMcaaiaai2dacaWGfbWaaiWaaeaacaqGwbGaaeyyai aabkhadaqadaqaamaaeiaabaGafqiVd0MbaKaadaWgaaWcbaGaaGim aaqabaGccaaMc8oacaGLiWoacaaMc8UaaCOuaaGaayjkaiaawMcaaa Gaay5Eaiaaw2haaiabgUcaRiaabAfacaqGHbGaaeOCamaacmaabaGa amyramaabmaabaWaaqGaaeaacuaH8oqBgaqcamaaBaaaleaacaaIWa aabeaakiaaykW7aiaawIa7aiaaykW7caWHsbaacaGLOaGaayzkaaaa caGL7bGaayzFaaGaaGOlaaaa@5BF8@

Since X j MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiwamaaBa aaleaacaWGQbaabeaaaaa@35B9@ are selected with replacement, they are all independent. Hence, the first term in the above equation yields

E { Var ( μ ^ 0 | R ) } = h = 1 H E ( I h 2 M h d n 2 M h 2 ) σ [ h ] 2 = E ( I 1 2 d n 2 M 1 ) h = 1 H σ [ h ] 2 . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaacm aabaGaaeOvaiaabggacaqGYbWaaeWaaeaadaabcaqaaiqbeY7aTzaa jaWaaSbaaSqaaiaaicdaaeqaaOGaaGPaVdGaayjcSdGaaGPaVlaahk faaiaawIcacaGLPaaaaiaawUhacaGL9baacaaI9aWaaabCaeqaleaa caWGObGaaGypaiaaigdaaeaacaWGibaaniabggHiLdGccaaMc8Uaam yramaabmaabaWaaSaaaeaacaWGjbWaa0baaSqaaiaadIgaaeaacaaI YaaaaOGaamytamaaBaaaleaacaWGObaabeaaaOqaaiaadsgadaqhaa WcbaGaamOBaaqaaiaaikdaaaGccaWGnbWaa0baaSqaaiaadIgaaeaa caaIYaaaaaaaaOGaayjkaiaawMcaaiabeo8aZnaaDaaaleaadaWada qaaiaadIgaaiaawUfacaGLDbaaaeaacaaIYaaaaOGaaGypaiaadwea daqadaqaamaalaaabaGaamysamaaDaaaleaacaaIXaaabaGaaGOmaa aaaOqaaiaadsgadaqhaaWcbaGaamOBaaqaaiaaikdaaaGccaWGnbWa aSbaaSqaaiaaigdaaeqaaaaaaOGaayjkaiaawMcaamaaqahabeWcba GaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOGaaGPaVlab eo8aZnaaDaaaleaadaWadaqaaiaadIgaaiaawUfacaGLDbaaaeaaca aIYaaaaOGaaGOlaaaa@74C3@

We now consider

Var { E ( μ ^ 0 | R ) } = h = 1 H Var ( I h d n ) μ [ h ] 2 + h = 1 H h h H Cov ( I h d n , I h d n ) μ [ h ] μ [ h ] = Var ( I 1 d n ) h = 1 H μ [ h ] 2 + Cov ( I 1 d n , I 2 d n ) h = 1 H h h H μ [ h ] μ [ h ] = H H 1 Var ( I 1 d n ) h = 1 H ( μ [ h ] μ ) 2 MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrVfpC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa qaaiaabAfacaqGHbGaaeOCamaacmaabaGaamyramaabmaabaWaaqGa aeaacuaH8oqBgaqcamaaBaaaleaacaaIWaaabeaakiaaykW7aiaawI a7aiaaykW7caWHsbaacaGLOaGaayzkaaaacaGL7bGaayzFaaaabaGa aGypamaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcq GHris5aOGaaGPaVlaabAfacaqGHbGaaeOCamaabmaabaWaaSaaaeaa caWGjbWaaSbaaSqaaiaadIgaaeqaaaGcbaGaamizamaaBaaaleaaca WGUbaabeaaaaaakiaawIcacaGLPaaacqaH8oqBdaqhaaWcbaWaamWa aeaacaWGObaacaGLBbGaayzxaaaabaGaaGOmaaaakiabgUcaRmaaqa habeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOWa aabCaeqaleaaceWGObGbauaacqGHGjsUcaWGObaabaGaamisaaqdcq GHris5aOGaaGPaVlaaboeacaqGVbGaaeODamaabmaabaWaaSaaaeaa caWGjbWaaSbaaSqaaiaadIgaaeqaaaGcbaGaamizamaaBaaaleaaca WGUbaabeaaaaGccaaISaWaaSaaaeaacaWGjbWaaSbaaSqaaiqadIga gaqbaaqabaaakeaacaWGKbWaaSbaaSqaaiaad6gaaeqaaaaaaOGaay jkaiaawMcaaiabeY7aTnaaBaaaleaadaWadaqaaiaadIgaaiaawUfa caGLDbaaaeqaaOGaeqiVd02aaSbaaSqaamaadmaabaGabmiAayaafa GaaGPaVdGaay5waiaaw2faaaqabaaakeaaaeaacaaI9aGaaeOvaiaa bggacaqGYbWaaeWaaeaadaWcaaqaaiaadMeadaWgaaWcbaGaaGymaa qabaaakeaacaWGKbWaaSbaaSqaaiaad6gaaeqaaaaaaOGaayjkaiaa wMcaamaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcq GHris5aOGaaGPaVlabeY7aTnaaDaaaleaadaWadaqaaiaadIgaaiaa wUfacaGLDbaaaeaacaaIYaaaaOGaey4kaSIaae4qaiaab+gacaqG2b WaaeWaaeaadaWcaaqaaiaadMeadaWgaaWcbaGaaGymaaqabaaakeaa caWGKbWaaSbaaSqaaiaad6gaaeqaaaaakiaaiYcadaWcaaqaaiaadM eadaWgaaWcbaGaaGOmaaqabaaakeaacaWGKbWaaSbaaSqaaiaad6ga aeqaaaaaaOGaayjkaiaawMcaamaaqahabeWcbaGaamiAaiaai2daca aIXaaabaGaamisaaqdcqGHris5aOWaaabCaeqaleaaceWGObGbauaa cqGHGjsUcaWGObaabaGaamisaaqdcqGHris5aOGaaGPaVlabeY7aTn aaBaaaleaadaWadaqaaiaadIgaaiaawUfacaGLDbaaaeqaaOGaeqiV d02aaSbaaSqaamaadmaabaGabmiAayaafaGaaGPaVdGaay5waiaaw2 faaaqabaaakeaaaeaacaaI9aWaaSaaaeaacaWGibaabaGaamisaiab gkHiTiaaigdaaaGaaeOvaiaabggacaqGYbWaaeWaaeaadaWcaaqaai aadMeadaWgaaWcbaGaaGymaaqabaaakeaacaWGKbWaaSbaaSqaaiaa d6gaaeqaaaaaaOGaayjkaiaawMcaamaaqahabeWcbaGaamiAaiaai2 dacaaIXaaabaGaamisaaqdcqGHris5aOWaaeWaaeaacqaH8oqBdaWg aaWcbaWaamWaaeaacaWGObaacaGLBbGaayzxaaaabeaakiabgkHiTi abeY7aTbGaayjkaiaawMcaamaaCaaaleqabaGaaGOmaaaaaaaaaa@D7B2@

which completes the proof of Var ( μ ^ 0 ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeOvaiaabg gacaqGYbWaaeWaaeaacuaH8oqBgaqcamaaBaaaleaacaaIWaaabeaa aOGaayjkaiaawMcaaiaac6caaaa@3B64@ The last equality is obtained by using part (iv) of Lemma 3.

For the proof of Var ( μ ^ 2 ) , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeOvaiaabg gacaqGYbWaaeWaaeaacuaH8oqBgaqcamaaBaaaleaacaaIYaaabeaa aOGaayjkaiaawMcaaiaacYcaaaa@3B64@ we again consider the conditional variance of μ ^ 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGafqiVd0MbaK aadaWgaaWcbaGaaGOmaaqabaaaaa@366F@ given the ranks

Var ( μ ^ 2 ) = E ( Var ( μ ^ 2 | R ) ) + Var ( E ( μ ^ 2 | R ) ) . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeOvaiaabg gacaqGYbWaaeWaaeaacuaH8oqBgaqcamaaBaaaleaacaaIYaaabeaa aOGaayjkaiaawMcaaiaai2dacaWGfbWaaeWaaeaacaqGwbGaaeyyai aabkhacaaIOaWaaqGaaeaacuaH8oqBgaqcamaaBaaaleaacaaIYaaa beaakiaaykW7aiaawIa7aiaaykW7caWHsbGaaGykaaGaayjkaiaawM caaiabgUcaRiaabAfacaqGHbGaaeOCamaabmaabaGaamyraiaaiIca daabcaqaaiqbeY7aTzaajaWaaSbaaSqaaiaaikdaaeqaaOGaaGPaVd GaayjcSdGaaGPaVlaahkfacaaIPaaacaGLOaGaayzkaaGaaGOlaaaa @5A66@

The second term in the right hand side of the above equation can be written

Var ( E ( μ ^ 2 | R ) ) = Var ( h = 1 h μ [ h ] I h d n ) = h = 1 H Var ( I h d n ) μ [ h ] 2 + h = 1 H h h H Cov ( I h d n , I h d n ) μ [ h ] μ [ h ] = Var ( I 1 d n ) h = 1 H μ [ h ] 2 + Cov ( I 1 d n , I 2 d n ) h = 1 H h h H μ [ h ] μ [ h ] . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrVfpC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa qaaiaabAfacaqGHbGaaeOCamaabmaabaGaamyramaabmaabaWaaqGa aeaacuaH8oqBgaqcamaaBaaaleaacaaIYaaabeaakiaaykW7aiaawI a7aiaaykW7caWHsbaacaGLOaGaayzkaaaacaGLOaGaayzkaaaabaGa aGypaiaabAfacaqGHbGaaeOCamaabmaabaWaaabCaeqaleaacaWGOb GaaGypaiaaigdaaeaacaWGObaaniabggHiLdGccaaMc8+aaSaaaeaa cqaH8oqBdaWgaaWcbaWaamWaaeaacaWGObaacaGLBbGaayzxaaaabe aakiaadMeadaWgaaWcbaGaamiAaaqabaaakeaacaWGKbWaaSbaaSqa aiaad6gaaeqaaaaaaOGaayjkaiaawMcaaaqaaaqaaiaai2dadaaeWb qabSqaaiaadIgacaaI9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakiaa ykW7caqGwbGaaeyyaiaabkhadaqadaqaamaalaaabaGaamysamaaBa aaleaacaWGObaabeaaaOqaaiaadsgadaWgaaWcbaGaamOBaaqabaaa aaGccaGLOaGaayzkaaGaeqiVd02aa0baaSqaamaadmaabaGaamiAaa Gaay5waiaaw2faaaqaaiaaikdaaaGccqGHRaWkdaaeWbqabSqaaiaa dIgacaaI9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakmaaqahabeWcba GabmiAayaafaGaeyiyIKRaamiAaaqaaiaadIeaa0GaeyyeIuoakiaa ykW7caqGdbGaae4BaiaabAhadaqadaqaamaalaaabaGaamysamaaBa aaleaacaWGObaabeaaaOqaaiaadsgadaWgaaWcbaGaamOBaaqabaaa aOGaaGilamaalaaabaGaamysamaaBaaaleaaceWGObGbauaaaeqaaa GcbaGaamizamaaBaaaleaacaWGUbaabeaaaaaakiaawIcacaGLPaaa cqaH8oqBdaWgaaWcbaWaamWaaeaacaWGObaacaGLBbGaayzxaaaabe aakiabeY7aTnaaBaaaleaadaWadaqaaiqadIgagaqbaiaaykW7aiaa wUfacaGLDbaaaeqaaaGcbaaabaGaaGypaiaabAfacaqGHbGaaeOCam aabmaabaWaaSaaaeaacaWGjbWaaSbaaSqaaiaaigdaaeqaaaGcbaGa amizamaaBaaaleaacaWGUbaabeaaaaaakiaawIcacaGLPaaadaaeWb qabSqaaiaadIgacaaI9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakiaa ykW7cqaH8oqBdaqhaaWcbaWaamWaaeaacaWGObaacaGLBbGaayzxaa aabaGaaGOmaaaakiabgUcaRiaaboeacaqGVbGaaeODamaabmaabaWa aSaaaeaacaWGjbWaaSbaaSqaaiaaigdaaeqaaaGcbaGaamizamaaBa aaleaacaWGUbaabeaaaaGccaaISaWaaSaaaeaacaWGjbWaaSbaaSqa aiaaikdaaeqaaaGcbaGaamizamaaBaaaleaacaWGUbaabeaaaaaaki aawIcacaGLPaaadaaeWbqabSqaaiaadIgacaaI9aGaaGymaaqaaiaa dIeaa0GaeyyeIuoakmaaqahabeWcbaGabmiAayaafaGaeyiyIKRaam iAaaqaaiaadIeaa0GaeyyeIuoakiaaykW7cqaH8oqBdaWgaaWcbaWa amWaaeaacaWGObaacaGLBbGaayzxaaaabeaakiabeY7aTnaaBaaale aadaWadaqaaiqadIgagaqbaiaaykW7aiaawUfacaGLDbaaaeqaaOGa aGOlaaaaaaa@D13A@

Note that Cov ( I 1 / d n , I 2 / d n ) = Var ( I 1 / d n ) / ( H 1 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaae4qaiaab+ gacaqG2bWaaeWaaeaadaWcgaqaaiaadMeadaWgaaWcbaGaaGymaaqa baaakeaacaWGKbWaaSbaaSqaaiaad6gaaeqaaaaakiaaiYcadaWcga qaaiaadMeadaWgaaWcbaGaaGOmaaqabaaakeaacaWGKbWaaSbaaSqa aiaad6gaaeqaaaaaaOGaayjkaiaawMcaaiaai2dadaWcgaqaaiabgk HiTiaabAfacaqGHbGaaeOCamaabmaabaWaaSGbaeaacaWGjbWaaSba aSqaaiaaigdaaeqaaaGcbaGaamizamaaBaaaleaacaWGUbaabeaaaa aakiaawIcacaGLPaaaaeaadaqadaqaaiaadIeacqGHsislcaaIXaaa caGLOaGaayzkaaaaaaaa@4E6A@ in part (iv) of Lemma 3. Using this equality in the above equation, we obtain

Var ( E ( μ ^ 2 | R ) ) = H H 1 Var ( I 1 d n ) h = 1 H ( μ [ h ] μ ) 2 . ( A .3 ) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeOvaiaabg gacaqGYbWaaeWaaeaacaWGfbWaaeWaaeaadaabcaqaaiqbeY7aTzaa jaWaaSbaaSqaaiaaikdaaeqaaOGaaGPaVdGaayjcSdGaaGPaVlaahk faaiaawIcacaGLPaaaaiaawIcacaGLPaaacaaI9aWaaSaaaeaacaWG ibaabaGaamisaiabgkHiTiaaigdaaaGaaeOvaiaabggacaqGYbWaae WaaeaadaWcaaqaaiaadMeadaWgaaWcbaGaaGymaaqabaaakeaacaWG KbWaaSbaaSqaaiaad6gaaeqaaaaaaOGaayjkaiaawMcaamaaqahabe WcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOWaaeWa aeaacqaH8oqBdaWgaaWcbaWaamWaaeaacaWGObaacaGLBbGaayzxaa aabeaakiabgkHiTiabeY7aTbGaayjkaiaawMcaamaaCaaaleqabaGa aGOmaaaakiaai6cacaaMf8UaaGzbVlaaywW7caGGOaGaaeyqaiaab6 cacaqGZaGaaiykaaaa@671B@

We now consider Var ( μ ^ 2 | R ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeOvaiaabg gacaqGYbWaaeWaaeaadaabcaqaaiqbeY7aTzaajaWaaSbaaSqaaiaa ikdaaeqaaOGaaGPaVdGaayjcSdGaaGPaVlaahkfaaiaawIcacaGLPa aaaaa@403B@

Var ( μ ^ 2 | R ) = Var { h = 1 H I h d n M h j = 1 n X j I ( R j = h ) | R } = h = 1 H I h 2 d n 2 M h 2 ( M h σ [ h ] 2 + M h ( M h 1 ) σ [ h , h ] ) + h H h h H I h I h d n 2 M h M h M h M h σ [ h , h ] = h = 1 H I h 2 d n 2 M h σ [ h ] 2 + h = 1 H I h 2 ( M h 1 ) d n 2 M h σ [ h , h ] + h H h h H I h I h d n 2 σ [ h , h ] . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrVfpC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa qaaiaabAfacaqGHbGaaeOCamaabmaabaWaaqGaaeaacuaH8oqBgaqc amaaBaaaleaacaaIYaaabeaakiaaykW7aiaawIa7aiaaykW7caWHsb aacaGLOaGaayzkaaaabaGaaGypaiaabAfacaqGHbGaaeOCamaacmaa baWaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWGibaaniabgg HiLdGcdaWcaaqaaiaadMeadaWgaaWcbaGaamiAaaqabaaakeaacaWG KbWaaSbaaSqaaiaad6gaaeqaaOGaamytamaaBaaaleaacaWGObaabe aaaaGcdaaeWbqabSqaaiaadQgacaaI9aGaaGymaaqaaiaad6gaa0Ga eyyeIuoakiaaykW7daabcaqaaiaadIfadaWgaaWcbaGaamOAaaqaba GccaWGjbWaaeWaaeaacaWGsbWaaSbaaSqaaiaadQgaaeqaaOGaaGyp aiaadIgaaiaawIcacaGLPaaacaaMc8oacaGLiWoacaaMc8UaaCOuaa Gaay5Eaiaaw2haaaqaaaqaaiaai2dadaaeWbqabSqaaiaadIgacaaI 9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakmaalaaabaGaamysamaaDa aaleaacaWGObaabaGaaGOmaaaaaOqaaiaadsgadaqhaaWcbaGaamOB aaqaaiaaikdaaaGccaWGnbWaa0baaSqaaiaadIgaaeaacaaIYaaaaa aakmaabmaabaGaamytamaaBaaaleaacaWGObaabeaakiabeo8aZnaa DaaaleaadaWadaqaaiaadIgaaiaawUfacaGLDbaaaeaacaaIYaaaaO Gaey4kaSIaamytamaaBaaaleaacaWGObaabeaakmaabmaabaGaamyt amaaBaaaleaacaWGObaabeaakiabgkHiTiaaigdaaiaawIcacaGLPa aacqaHdpWCdaWgaaWcbaWaamWaaeaacaWGObGaaGilaiaadIgaaiaa wUfacaGLDbaaaeqaaaGccaGLOaGaayzkaaGaey4kaSYaaabCaeqale aacaWGObaabaGaamisaaqdcqGHris5aOWaaabCaeqaleaaceWGObGb auaacqGHGjsUcaWGObaabaGaamisaaqdcqGHris5aOWaaSaaaeaaca WGjbWaaSbaaSqaaiaadIgaaeqaaOGaamysamaaBaaaleaaceWGObGb auaaaeqaaaGcbaGaamizamaaDaaaleaacaWGUbaabaGaaGOmaaaaki aad2eadaWgaaWcbaGaamiAaaqabaGccaWGnbWaaSbaaSqaaiqadIga gaqbaaqabaaaaOGaamytamaaBaaaleaacaWGObaabeaakiaad2eada WgaaWcbaGabmiAayaafaaabeaakiabeo8aZnaaBaaaleaadaWadaqa aiaadIgacaaISaGabmiAayaafaGaaGPaVdGaay5waiaaw2faaaqaba aakeaaaeaacaaI9aWaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaa caWGibaaniabggHiLdGcdaWcaaqaaiaadMeadaqhaaWcbaGaamiAaa qaaiaaikdaaaaakeaacaWGKbWaa0baaSqaaiaad6gaaeaacaaIYaaa aOGaamytamaaBaaaleaacaWGObaabeaaaaGccqaHdpWCdaqhaaWcba WaamWaaeaacaWGObaacaGLBbGaayzxaaaabaGaaGOmaaaakiabgUca RmaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHri s5aOWaaSaaaeaacaWGjbWaa0baaSqaaiaadIgaaeaacaaIYaaaaOWa aeWaaeaacaWGnbWaaSbaaSqaaiaadIgaaeqaaOGaeyOeI0IaaGymaa GaayjkaiaawMcaaaqaaiaadsgadaqhaaWcbaGaamOBaaqaaiaaikda aaGccaWGnbWaaSbaaSqaaiaadIgaaeqaaaaakiabeo8aZnaaBaaale aadaWadaqaaiaadIgacaaISaGaamiAaaGaay5waiaaw2faaaqabaGc cqGHRaWkdaaeWbqabSqaaiaadIgaaeaacaWGibaaniabggHiLdGcda aeWbqabSqaaiqadIgagaqbaiabgcMi5kaadIgaaeaacaWGibaaniab ggHiLdGcdaWcaaqaaiaadMeadaWgaaWcbaGaamiAaaqabaGccaWGjb WaaSbaaSqaaiqadIgagaqbaaqabaaakeaacaWGKbWaa0baaSqaaiaa d6gaaeaacaaIYaaaaaaakiabeo8aZnaaBaaaleaadaWadaqaaiaadI gacaaISaGabmiAayaafaGaaGPaVdGaay5waiaaw2faaaqabaGccaaI Uaaaaaaa@F71A@

It is clear that I h / ( d n M h ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaSGbaeaaca WGjbWaaSbaaSqaaiaadIgaaeqaaaGcbaWaaeWaaeaacaWGKbWaaSba aSqaaiaad6gaaeqaaOGaamytamaaBaaaleaacaWGObaabeaaaOGaay jkaiaawMcaaaaaaaa@3B58@ and I h I h / d n 2 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaSGbaeaaca WGjbWaaSbaaSqaaiaadIgaaeqaaOGaamysamaaBaaaleaaceWGObGb auaaaeqaaaGcbaGaamizamaaDaaaleaacaWGUbaabaGaaGOmaaaaaa GccaGGSaaaaa@3B44@ h = 1, , H , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiAaiaai2 dacaaIXaGaaGilaiablAciljaaiYcacaWGibGaaiilaaaa@3A3B@ are identically distributed. Using the equalities below

E ( ( M 1 1 ) I 1 2 d n 2 M 1 ) = E ( I 1 2 d n 2 ) E ( I 1 2 d n 2 M 1 ) E ( I 1 I 2 d n 2 ) = 1 H 1 ( 1 H E ( I 1 2 d n 2 ) ) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrVfpC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabiGaaa qaaiaadweadaqadaqaamaalaaabaWaaeWaaeaacaWGnbWaaSbaaSqa aiaaigdaaeqaaOGaeyOeI0IaaGymaaGaayjkaiaawMcaaiaadMeada qhaaWcbaGaaGymaaqaaiaaikdaaaaakeaacaWGKbWaa0baaSqaaiaa d6gaaeaacaaIYaaaaOGaamytamaaBaaaleaacaaIXaaabeaaaaaaki aawIcacaGLPaaaaeaacaaI9aGaamyramaabmaabaWaaSaaaeaacaWG jbWaa0baaSqaaiaaigdaaeaacaaIYaaaaaGcbaGaamizamaaDaaale aacaWGUbaabaGaaGOmaaaaaaaakiaawIcacaGLPaaacqGHsislcaWG fbWaaeWaaeaadaWcaaqaaiaadMeadaqhaaWcbaGaaGymaaqaaiaaik daaaaakeaacaWGKbWaa0baaSqaaiaad6gaaeaacaaIYaaaaOGaamyt amaaBaaaleaacaaIXaaabeaaaaaakiaawIcacaGLPaaaaeaacaaMc8 UaaGPaVlaaykW7caaMc8UaaGPaVlaaykW7caaMc8UaaGPaVlaaykW7 caaMc8UaaGPaVlaaykW7caaMc8UaaGPaVlaadweadaqadaqaamaala aabaGaamysamaaBaaaleaacaaIXaaabeaakiaadMeadaWgaaWcbaGa aGOmaaqabaaakeaacaWGKbWaa0baaSqaaiaad6gaaeaacaaIYaaaaa aaaOGaayjkaiaawMcaaaqaaiaai2dadaWcaaqaaiaaigdaaeaacaWG ibGaeyOeI0IaaGymaaaadaqadaqaamaalaaabaGaaGymaaqaaiaadI eaaaGaeyOeI0IaamyramaabmaabaWaaSaaaeaacaWGjbWaa0baaSqa aiaaigdaaeaacaaIYaaaaaGcbaGaamizamaaDaaaleaacaWGUbaaba GaaGOmaaaaaaaakiaawIcacaGLPaaaaiaawIcacaGLPaaaaaaaaa@830B@

we write

E { Var ( μ ^ 2 | R ) } = E ( I 1 2 d n 2 M 1 ) h = 1 H σ [ h ] 2 + E ( I 1 2 d n 2 ) h = 1 H σ [ h , h ] E ( I 1 2 d n 2 M 1 ) h = 1 H σ [ h , h ] + 1 H 1 ( 1 H E ( I 1 2 d n 2 ) ) h = 1 H h h H σ [ h , h ] = E ( I 1 2 d n 2 M 1 ) h = 1 H σ [ h ] 2 + 1 H 1 ( 1 H E ( I 1 2 d n 2 ) ) h = 1 H h = 1 H σ [ h , h ] + { E ( I 1 2 d n 2 ) E ( I 1 2 d n 2 M 1 ) 1 H 1 ( 1 H E ( I 1 2 d n 2 ) ) } h = 1 H σ [ h , h ] . ( A .4 ) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrVfpC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabqGaaa aabaGaamyramaacmaabaGaaeOvaiaabggacaqGYbWaaeWaaeaadaab caqaaiqbeY7aTzaajaWaaSbaaSqaaiaaikdaaeqaaOGaaGPaVdGaay jcSdGaaGPaVlaahkfaaiaawIcacaGLPaaaaiaawUhacaGL9baaaeaa caaI9aGaamyramaabmaabaWaaSaaaeaacaWGjbWaa0baaSqaaiaaig daaeaacaaIYaaaaaGcbaGaamizamaaDaaaleaacaWGUbaabaGaaGOm aaaakiaad2eadaWgaaWcbaGaaGymaaqabaaaaaGccaGLOaGaayzkaa WaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWGibaaniabggHi LdGccaaMc8Uaeq4Wdm3aa0baaSqaamaadmaabaGaamiAaaGaay5wai aaw2faaaqaaiaaikdaaaGccqGHRaWkcaWGfbWaaeWaaeaadaWcaaqa aiaadMeadaqhaaWcbaGaaGymaaqaaiaaikdaaaaakeaacaWGKbWaa0 baaSqaaiaad6gaaeaacaaIYaaaaaaaaOGaayjkaiaawMcaamaaqaha beWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOGaaG PaVlabeo8aZnaaBaaaleaadaWadaqaaiaadIgacaGGSaGaamiAaaGa ay5waiaaw2faaaqabaGccqGHsislcaWGfbWaaeWaaeaadaWcaaqaai aadMeadaqhaaWcbaGaaGymaaqaaiaaikdaaaaakeaacaWGKbWaa0ba aSqaaiaad6gaaeaacaaIYaaaaOGaamytamaaBaaaleaacaaIXaaabe aaaaaakiaawIcacaGLPaaadaaeWbqabSqaaiaadIgacaaI9aGaaGym aaqaaiaadIeaa0GaeyyeIuoakiaaykW7cqaHdpWCdaWgaaWcbaWaam WaaeaacaWGObGaaiilaiaadIgaaiaawUfacaGLDbaaaeqaaaGcbaaa baGaaGPaVlaaykW7cqGHRaWkdaWcaaqaaiaaigdaaeaacaWGibGaey OeI0IaaGymaaaadaqadaqaamaalaaabaGaaGymaaqaaiaadIeaaaGa eyOeI0IaamyramaabmaabaWaaSaaaeaacaWGjbWaa0baaSqaaiaaig daaeaacaaIYaaaaaGcbaGaamizamaaDaaaleaacaWGUbaabaGaaGOm aaaaaaaakiaawIcacaGLPaaaaiaawIcacaGLPaaadaaeWbqabSqaai aadIgacaaI9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakmaaqahabeWc baGabmiAayaafaGaeyiyIKRaamiAaaqaaiaadIeaa0GaeyyeIuoaki aaykW7cqaHdpWCdaWgaaWcbaWaamWaaeaacaWGObGaaiilaiqadIga gaqbaiaaykW7aiaawUfacaGLDbaaaeqaaaGcbaaabaGaaGypaiaadw eadaqadaqaamaalaaabaGaamysamaaDaaaleaacaaIXaaabaGaaGOm aaaaaOqaaiaadsgadaqhaaWcbaGaamOBaaqaaiaaikdaaaGccaWGnb WaaSbaaSqaaiaaigdaaeqaaaaaaOGaayjkaiaawMcaamaaqahabeWc baGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOGaaGPaVl abeo8aZnaaDaaaleaadaWadaqaaiaadIgaaiaawUfacaGLDbaaaeaa caaIYaaaaOGaey4kaSYaaSaaaeaacaaIXaaabaGaamisaiabgkHiTi aaigdaaaWaaeWaaeaadaWcaaqaaiaaigdaaeaacaWGibaaaiabgkHi TiaadweadaqadaqaamaalaaabaGaamysamaaDaaaleaacaaIXaaaba GaaGOmaaaaaOqaaiaadsgadaqhaaWcbaGaamOBaaqaaiaaikdaaaaa aaGccaGLOaGaayzkaaaacaGLOaGaayzkaaWaaabCaeqaleaacaWGOb GaaGypaiaaigdaaeaacaWGibaaniabggHiLdGcdaaeWbqabSqaaiaa dIgacaaI9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakiaaykW7cqaHdp WCdaWgaaWcbaWaamWaaeaacaWGObGaaiilaiqadIgagaqbaiaaykW7 aiaawUfacaGLDbaaaeqaaaGcbaaabaGaaGPaVlaaykW7cqGHRaWkda GadaqaaiaadweadaqadaqaamaalaaabaGaamysamaaDaaaleaacaaI XaaabaGaaGOmaaaaaOqaaiaadsgadaqhaaWcbaGaamOBaaqaaiaaik daaaaaaaGccaGLOaGaayzkaaGaeyOeI0IaamyramaabmaabaWaaSaa aeaacaWGjbWaa0baaSqaaiaaigdaaeaacaaIYaaaaaGcbaGaamizam aaDaaaleaacaWGUbaabaGaaGOmaaaakiaad2eadaWgaaWcbaGaaGym aaqabaaaaaGccaGLOaGaayzkaaGaeyOeI0YaaSaaaeaacaaIXaaaba GaamisaiabgkHiTiaaigdaaaWaaeWaaeaadaWcaaqaaiaaigdaaeaa caWGibaaaiabgkHiTiaadweadaqadaqaamaalaaabaGaamysamaaDa aaleaacaaIXaaabaGaaGOmaaaaaOqaaiaadsgadaqhaaWcbaGaamOB aaqaaiaaikdaaaaaaaGccaGLOaGaayzkaaaacaGLOaGaayzkaaaaca GL7bGaayzFaaWaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWG ibaaniabggHiLdGccqaHdpWCdaWgaaWcbaWaamWaaeaacaWGObGaai ilaiaadIgaaiaawUfacaGLDbaaaeqaaOGaaGOlaaaacaaMf8UaaGzb VlaaywW7caGGOaGaaeyqaiaab6cacaqG0aGaaiykaaaa@2967@

We now show that h = 1 H h = 1 H σ [ h , h ] = H 2 σ 2 / ( N 1 ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaabmaeqale aacaWGObGaaGypaiaaigdaaeaacaWGibaaniabggHiLdGcdaaeWaqa bSqaaiqadIgagaqbaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aO GaaGPaVlabeo8aZnaaBaaaleaadaWadaqaaiaadIgacaaISaGabmiA ayaafaGaaGPaVdGaay5waiaaw2faaaqabaGccaaI9aWaaSGbaeaaca WGibWaaWbaaSqabeaacaaIYaaaaOGaeq4Wdm3aaWbaaSqabeaacaaI YaaaaaGcbaWaaeWaaeaacaWGobGaeyOeI0IaaGymaaGaayjkaiaawM caaaaacaGGUaaaaa@5205@ Using part (ii) of Lemma 1, we first observe that

h = 1 H h = 1 H E ( X [ h ] X [ h ] ) = h = 1 H h = 1 H E ( X ( h ) X ( h ) ) = 2 i = 1 i < j x i x j h = 1 h = 1 β ( i , j , h , h ) = 2 i = 1 j > i x i x j { h = 1 H λ = 0 j i 1 ( i 1 h 1 ) ( j i 1 λ ) ( N j H λ h ) ( N H ) × h = 1 H ( j 1 h λ h 1 ) ( N j H + λ + h H h ) ( N H H ) } . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabqGaaa aabaWaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWGibaaniab ggHiLdGcdaaeWbqabSqaaiqadIgagaqbaiaai2dacaaIXaaabaGaam isaaqdcqGHris5aOGaaGPaVlaadweadaqadaqaaiaadIfadaWgaaWc baWaamWaaeaacaWGObaacaGLBbGaayzxaaaabeaakiaadIfadaWgaa WcbaWaamWaaeaaceWGObGbauaacaaMc8oacaGLBbGaayzxaaaabeaa aOGaayjkaiaawMcaaaqaaiaai2dadaaeWbqabSqaaiaadIgacaaI9a GaaGymaaqaaiaadIeaa0GaeyyeIuoakmaaqahabeWcbaGabmiAayaa faGaaGypaiaaigdaaeaacaWGibaaniabggHiLdGccaaMc8Uaamyram aabmaabaGaamiwamaaBaaaleaadaqadaqaaiaadIgaaiaawIcacaGL PaaaaeqaaOGaamiwamaaBaaaleaadaqadaqaaiqadIgagaqbaiaayk W7aiaawIcacaGLPaaaaeqaaaGccaGLOaGaayzkaaaabaaabaGaaGyp aiaaikdadaaeqbqabSqaaiaadMgacaaI9aGaaGymaaqab0GaeyyeIu oakmaaqafabeWcbaGaamyAaiaaiYdacaWGQbaabeqdcqGHris5aOGa aGPaVlaadIhadaWgaaWcbaGaamyAaaqabaGccaWG4bWaaSbaaSqaai aadQgaaeqaaOWaaabuaeqaleaacaWGObGaaGypaiaaigdaaeqaniab ggHiLdGcdaaeqbqabSqaaiqadIgagaqbaiaai2dacaaIXaaabeqdcq GHris5aOGaaGPaVlabek7aInaabmaabaGaamyAaiaaiYcacaWGQbGa aGilaiaadIgacaaISaGabmiAayaafaaacaGLOaGaayzkaaaabaaaba GaaGypaiaaikdadaaeqbqabSqaaiaadMgacaaI9aGaaGymaaqab0Ga eyyeIuoakmaaqafabeWcbaGaamOAaiaai6dacaWGPbaabeqdcqGHri s5aOGaaGPaVlaadIhadaWgaaWcbaGaamyAaaqabaGccaWG4bWaaSba aSqaaiaadQgaaeqaaOWaaiqaaeaadaaeWbqabSqaaiaadIgacaaI9a GaaGymaaqaaiaadIeaa0GaeyyeIuoakmaaqahabeWcbaGaeq4UdWMa aGypaiaaicdaaeaacaWGQbGaeyOeI0IaamyAaiabgkHiTiaaigdaa0 GaeyyeIuoakmaalaaabaWaaeWaaeaafaqabeGabaaabaGaamyAaiab gkHiTiaaigdaaeaacaWGObGaeyOeI0IaaGymaaaaaiaawIcacaGLPa aadaqadaqaauaabeqaceaaaeaacaWGQbGaeyOeI0IaamyAaiabgkHi TiaaigdaaeaacqaH7oaBaaaacaGLOaGaayzkaaWaaeWaaeaafaqabe GabaaabaGaamOtaiabgkHiTiaadQgaaeaacaWGibGaeyOeI0Iaeq4U dWMaeyOeI0IaamiAaaaaaiaawIcacaGLPaaaaeaadaqadaqaauaabe qaceaaaeaacaWGobaabaGaamisaaaaaiaawIcacaGLPaaaaaaacaGL 7baaaeaaaeaadaGacaqaaiaaykW7caaMc8UaaGPaVlaaykW7caaMc8 UaaGPaVlaaykW7caaMc8UaaGPaVlaaykW7caaMc8UaaGPaVlaaykW7 caaMc8UaaGPaVlaaykW7caaMc8UaaGPaVlaaykW7caaMc8UaaGPaVl aaykW7caaMc8UaaGPaVlaaykW7caaMc8UaaGPaVlaaykW7cqGHxdaT daaeWbqabSqaaiqadIgagaqbaiaai2dacaaIXaaabaGaamisaaqdcq GHris5aOWaaSaaaeaadaqadaqaauaabeqaceaaaeaacaWGQbGaeyOe I0IaaGymaiabgkHiTiaadIgacqGHsislcqaH7oaBaeaaceWGObGbau aacqGHsislcaaIXaaaaaGaayjkaiaawMcaamaabmaabaqbaeqabiqa aaqaaiaad6eacqGHsislcaWGQbGaeyOeI0IaamisaiabgUcaRiabeU 7aSjabgUcaRiaadIgaaeaacaWGibGaeyOeI0IabmiAayaafaaaaaGa ayjkaiaawMcaaaqaamaabmaabaqbaeqabiqaaaqaaiaad6eacqGHsi slcaWGibaabaGaamisaaaaaiaawIcacaGLPaaaaaaacaGL9baacaGG Uaaaaaaa@1810@

In the last sum of the above equation, we let y = h 1. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyEaiaai2 daceWGObGbauaacqGHsislcaaIXaGaaiOlaaaa@38D9@ After some simplification, we write

h = 1 H h = 1 H E ( X [ h ] X [ h ] ) = 2 i = 1 i < j x i x j h = 1 H λ = 0 j i 1 ( i 1 h 1 ) ( j i 1 λ ) ( N j H λ h ) ( N H ) H N H = H N H i = 1 j i x i x j h = 1 H ( i 1 h 1 ) ( N i 1 H h ) ( N H ) . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabiGaaa qaamaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGH ris5aOWaaabCaeqaleaaceWGObGbauaacaaI9aGaaGymaaqaaiaadI eaa0GaeyyeIuoakiaaykW7caWGfbWaaeWaaeaacaWGybWaaSbaaSqa amaadmaabaGaamiAaaGaay5waiaaw2faaaqabaGccaWGybWaaSbaaS qaamaadmaabaGabmiAayaafaGaaGPaVdGaay5waiaaw2faaaqabaaa kiaawIcacaGLPaaaaeaacaaI9aGaaGOmamaaqafabeWcbaGaamyAai aai2dacaaIXaaabeqdcqGHris5aOWaaabuaeqaleaacaWGPbGaaGip aiaadQgaaeqaniabggHiLdGccaaMc8UaamiEamaaBaaaleaacaWGPb aabeaakiaadIhadaWgaaWcbaGaamOAaaqabaGcdaaeWbqabSqaaiaa dIgacaaI9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakmaaqahabeWcba Gaeq4UdWMaaGypaiaaicdaaeaacaWGQbGaeyOeI0IaamyAaiabgkHi Tiaaigdaa0GaeyyeIuoakmaalaaabaWaaeWaaeaafaqabeGabaaaba GaamyAaiabgkHiTiaaigdaaeaacaWGObGaeyOeI0IaaGymaaaaaiaa wIcacaGLPaaadaqadaqaauaabeqaceaaaeaacaWGQbGaeyOeI0Iaam yAaiabgkHiTiaaigdaaeaacqaH7oaBaaaacaGLOaGaayzkaaWaaeWa aeaafaqabeGabaaabaGaamOtaiabgkHiTiaadQgaaeaacaWGibGaey OeI0Iaeq4UdWMaeyOeI0IaamiAaaaaaiaawIcacaGLPaaaaeaadaqa daqaauaabeqaceaaaeaacaWGobaabaGaamisaaaaaiaawIcacaGLPa aaaaWaaSaaaeaacaWGibaabaGaamOtaiabgkHiTiaadIeaaaaabaaa baGaaGypamaalaaabaGaamisaaqaaiaad6eacqGHsislcaWGibaaam aaqafabeWcbaGaamyAaiaai2dacaaIXaaabeqdcqGHris5aOWaaabu aeqaleaacaWGQbGaeyiyIKRaamyAaaqab0GaeyyeIuoakiaaykW7ca WG4bWaaSbaaSqaaiaadMgaaeqaaOGaamiEamaaBaaaleaacaWGQbaa beaakmaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcq GHris5aOWaaSaaaeaadaqadaqaauaabeqaceaaaeaacaWGPbGaeyOe I0IaaGymaaqaaiaadIgacqGHsislcaaIXaaaaaGaayjkaiaawMcaam aabmaabaqbaeqabiqaaaqaaiaad6eacqGHsislcaWGPbGaeyOeI0Ia aGymaaqaaiaadIeacqGHsislcaWGObaaaaGaayjkaiaawMcaaaqaam aabmaabaqbaeqabiqaaaqaaiaad6eaaeaacaWGibaaaaGaayjkaiaa wMcaaaaacaGGUaaaaaaa@B881@

Let z = h 1. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOEaiaai2 dacaWGObGaeyOeI0IaaGymaiaac6caaaa@38CE@ The above expression reduces to

h = 1 H h = 1 H E ( X [ h ] X [ h ] ) = H N H i = 1 j i x i x j z = 0 H 1 ( i 1 z ) ( N i 1 H 1 z ) N ( N 1 ) H ( H N ) ( N 1 H 1 ) = H 2 N ( N 1 ) i = 1 j i x i x j = H 2 N ( N 1 ) { ( i = 1 N x i ) 2 i N x i 2 } . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabiGaaa qaamaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGH ris5aOWaaabCaeqaleaaceWGObGbauaacaaI9aGaaGymaaqaaiaadI eaa0GaeyyeIuoakiaaykW7caWGfbWaaeWaaeaacaWGybWaaSbaaSqa amaadmaabaGaamiAaaGaay5waiaaw2faaaqabaGccaWGybWaaSbaaS qaamaadmaabaGabmiAayaafaGaaGPaVdGaay5waiaaw2faaaqabaaa kiaawIcacaGLPaaaaeaacaaI9aWaaSaaaeaacaWGibaabaGaamOtai abgkHiTiaadIeaaaWaaabuaeqaleaacaWGPbGaaGypaiaaigdaaeqa niabggHiLdGcdaaeqbqabSqaaiaadQgacqGHGjsUcaWGPbaabeqdcq GHris5aOGaaGPaVlaadIhadaWgaaWcbaGaamyAaaqabaGccaWG4bWa aSbaaSqaaiaadQgaaeqaaOWaaabCaeqaleaacaWG6bGaaGypaiaaic daaeaacaWGibGaeyOeI0IaaGymaaqdcqGHris5aOWaaSaaaeaadaqa daqaauaabeqaceaaaeaacaWGPbGaeyOeI0IaaGymaaqaaiaadQhaaa aacaGLOaGaayzkaaWaaeWaaeaafaqabeGabaaabaGaamOtaiabgkHi TiaadMgacqGHsislcaaIXaaabaGaamisaiabgkHiTiaaigdacqGHsi slcaWG6baaaaGaayjkaiaawMcaaaqaamaalaaabaGaamOtamaabmaa baGaamOtaiabgkHiTiaaigdaaiaawIcacaGLPaaaaeaacaWGibWaae WaaeaacaWGibGaeyOeI0IaamOtaaGaayjkaiaawMcaaaaadaqadaqa auaabeqaceaaaeaacaWGobGaeyOeI0IaaGymaaqaaiaadIeacqGHsi slcaaIXaaaaaGaayjkaiaawMcaaaaaaeaaaeaacaaI9aWaaSaaaeaa caWGibWaaWbaaSqabeaacaaIYaaaaaGcbaGaamOtamaabmaabaGaam OtaiabgkHiTiaaigdaaiaawIcacaGLPaaaaaWaaabuaeqaleaacaWG PbGaaGypaiaaigdaaeqaniabggHiLdGcdaaeqbqabSqaaiaadQgacq GHGjsUcaWGPbaabeqdcqGHris5aOGaaGPaVlaadIhadaWgaaWcbaGa amyAaaqabaGccaWG4bWaaSbaaSqaaiaadQgaaeqaaOGaaGypamaala aabaGaamisamaaCaaaleqabaGaaGOmaaaaaOqaaiaad6eadaqadaqa aiaad6eacqGHsislcaaIXaaacaGLOaGaayzkaaaaamaacmaabaWaae WaaeaadaaeWbqabSqaaiaadMgacaaI9aGaaGymaaqaaiaad6eaa0Ga eyyeIuoakiaaykW7caWG4bWaaSbaaSqaaiaadMgaaeqaaaGccaGLOa GaayzkaaWaaWbaaSqabeaacaaIYaaaaOGaeyOeI0YaaabCaeqaleaa caWGPbaabaGaamOtaaqdcqGHris5aOGaaGPaVlaadIhadaqhaaWcba GaamyAaaqaaiaaikdaaaaakiaawUhacaGL9baacaaIUaaaaaaa@BEEE@

Using the above equation, we conclude that

h = 1 h = 1 σ [ h , h ] = h = 1 H h = 1 H E ( X [ h ] X [ h ] ) h = 1 h = 1 E ( X [ h ] E X [ h ] ) = H 2 N ( N 1 ) { ( i = 1 N x i ) 2 i N x i 2 } H 2 N 2 ( i = 1 N x i ) 2 = H 2 N 1 1 N i = 1 N ( x i x ¯ ) 2 = H 2 N 1 σ 2 . ( A .5 ) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqr=fFD0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa qaamaaqafabeWcbaGaamiAaiaai2dacaaIXaaabeqdcqGHris5aOWa aabuaeqaleaaceWGObGbauaacaaI9aGaaGymaaqab0GaeyyeIuoaki aaykW7cqaHdpWCdaWgaaWcbaWaamWaaeaacaWGObGaaGilaiqadIga gaqbaiaaykW7aiaawUfacaGLDbaaaeqaaaGcbaGaaGypamaaqahabe WcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOWaaabC aeqaleaaceWGObGbauaacaaI9aGaaGymaaqaaiaadIeaa0GaeyyeIu oakiaaykW7caWGfbWaaeWaaeaacaWGybWaaSbaaSqaamaadmaabaGa amiAaaGaay5waiaaw2faaaqabaGccaWGybWaaSbaaSqaamaadmaaba GabmiAayaafaGaaGPaVdGaay5waiaaw2faaaqabaaakiaawIcacaGL PaaacqGHsisldaaeqbqabSqaaiaadIgacaaI9aGaaGymaaqab0Gaey yeIuoakmaaqafabeWcbaGabmiAayaafaGaaGypaiaaigdaaeqaniab ggHiLdGccaaMc8UaamyramaabmaabaGaamiwamaaBaaaleaadaWada qaaiaadIgaaiaawUfacaGLDbaaaeqaaOGaamyraiaadIfadaWgaaWc baWaamWaaeaaceWGObGbauaacaaMc8oacaGLBbGaayzxaaaabeaaaO GaayjkaiaawMcaaaqaaaqaaiaai2dadaWcaaqaaiaadIeadaahaaWc beqaaiaaikdaaaaakeaacaWGobWaaeWaaeaacaWGobGaeyOeI0IaaG ymaaGaayjkaiaawMcaaaaadaGadaqaamaabmaabaWaaabCaeqaleaa caWGPbGaaGypaiaaigdaaeaacaWGobaaniabggHiLdGccaaMc8Uaam iEamaaBaaaleaacaWGPbaabeaaaOGaayjkaiaawMcaamaaCaaaleqa baGaaGOmaaaakiabgkHiTmaaqahabeWcbaGaamyAaaqaaiaad6eaa0 GaeyyeIuoakiaaykW7caWG4bWaa0baaSqaaiaadMgaaeaacaaIYaaa aaGccaGL7bGaayzFaaGaeyOeI0YaaSaaaeaacaWGibWaaWbaaSqabe aacaaIYaaaaaGcbaGaamOtamaaCaaaleqabaGaaGOmaaaaaaGcdaqa daqaamaaqahabeWcbaGaamyAaiaai2dacaaIXaaabaGaamOtaaqdcq GHris5aOGaaGPaVlaadIhadaWgaaWcbaGaamyAaaqabaaakiaawIca caGLPaaadaahaaWcbeqaaiaaikdaaaaakeaaaeaacaaI9aGaeyOeI0 YaaSaaaeaacaWGibWaaWbaaSqabeaacaaIYaaaaaGcbaGaamOtaiab gkHiTiaaigdaaaWaaSaaaeaacaaIXaaabaGaamOtaaaadaaeWbqabS qaaiaadMgacaaI9aGaaGymaaqaaiaad6eaa0GaeyyeIuoakiaaykW7 daqadaqaaiaadIhadaWgaaWcbaGaamyAaaqabaGccqGHsislceWG4b GbaebaaiaawIcacaGLPaaadaahaaWcbeqaaiaaikdaaaGccaaI9aWa aSaaaeaacqGHsislcaWGibWaaWbaaSqabeaacaaIYaaaaaGcbaGaam OtaiabgkHiTiaaigdaaaGaeq4Wdm3aaWbaaSqabeaacaaIYaaaaOGa aGOlaaaacaaMf8UaaGzbVlaaywW7caGGOaGaaeyqaiaab6cacaqG1a Gaaiykaaaa@CE7A@

By inserting the above expression in equation (A.4), we write

E { Var ( μ ^ 2 ) | R } = E ( I 1 2 d n 2 M 1 ) h = 1 H σ [ h ] 2 H 2 σ 2 ( H 1 ) ( N 1 ) ( 1 H E ( I 1 2 d n 2 ) ) + { H H 1 E ( I 1 2 d n 2 ) E ( I 1 2 d n 2 M 1 ) 1 H ( H 1 ) } h = 1 H σ [ h , h ] . ( A .6 ) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqr=fFD0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabiGaaa qaaiaadweadaGadaqaamaaeiaabaGaaeOvaiaabggacaqGYbWaaeWa aeaacuaH8oqBgaqcamaaBaaaleaacaaIYaaabeaaaOGaayjkaiaawM caaiaaykW7aiaawIa7aiaaykW7caWHsbaacaGL7bGaayzFaaaabaGa aGypaiaadweadaqadaqaamaalaaabaGaamysamaaDaaaleaacaaIXa aabaGaaGOmaaaaaOqaaiaadsgadaqhaaWcbaGaamOBaaqaaiaaikda aaGccaWGnbWaaSbaaSqaaiaaigdaaeqaaaaaaOGaayjkaiaawMcaam aaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5 aOGaaGPaVlabeo8aZnaaDaaaleaadaWadaqaaiaadIgaaiaawUfaca GLDbaaaeaacaaIYaaaaOGaeyOeI0YaaSaaaeaacaWGibWaaWbaaSqa beaacaaIYaaaaOGaeq4Wdm3aaWbaaSqabeaacaaIYaaaaaGcbaWaae WaaeaacaWGibGaeyOeI0IaaGymaaGaayjkaiaawMcaamaabmaabaGa amOtaiabgkHiTiaaigdaaiaawIcacaGLPaaaaaWaaeWaaeaadaWcaa qaaiaaigdaaeaacaWGibaaaiabgkHiTiaadweadaqadaqaamaalaaa baGaamysamaaDaaaleaacaaIXaaabaGaaGOmaaaaaOqaaiaadsgada qhaaWcbaGaamOBaaqaaiaaikdaaaaaaaGccaGLOaGaayzkaaaacaGL OaGaayzkaaaabaaabaGaey4kaSYaaiWaaeaadaWcaaqaaiaadIeaae aacaWGibGaeyOeI0IaaGymaaaacaWGfbWaaeWaaeaadaWcaaqaaiaa dMeadaqhaaWcbaGaaGymaaqaaiaaikdaaaaakeaacaWGKbWaa0baaS qaaiaad6gaaeaacaaIYaaaaaaaaOGaayjkaiaawMcaaiabgkHiTiaa dweadaqadaqaamaalaaabaGaamysamaaDaaaleaacaaIXaaabaGaaG OmaaaaaOqaaiaadsgadaqhaaWcbaGaamOBaaqaaiaaikdaaaGccaWG nbWaaSbaaSqaaiaaigdaaeqaaaaaaOGaayjkaiaawMcaaiabgkHiTm aalaaabaGaaGymaaqaaiaadIeadaqadaqaaiaadIeacqGHsislcaaI XaaacaGLOaGaayzkaaaaaaGaay5Eaiaaw2haamaaqahabeWcbaGaam iAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOGaaGPaVlabeo8a ZnaaBaaaleaadaWadaqaaiaadIgacaaISaGaamiAaaGaay5waiaaw2 faaaqabaGccaaIUaaaaiaaywW7caaMf8UaaGzbVlaacIcacaqGbbGa aeOlaiaabAdacaGGPaaaaa@A909@

We complete the proof by combining equations (A.3) and (A.6)

Var ( μ ^ 2 ) = H H 1 Var ( I 1 / d n ) h = 1 H ( μ [ h ] μ ) 2 + E ( I 1 2 d n 2 M 1 ) h = 1 H σ [ h ] 2 H 2 σ 2 ( H 1 ) ( N 1 ) ( 1 H E ( I 1 2 d n 2 ) ) + { H H 1 E ( I 1 2 d n 2 ) E ( I 1 2 d n 2 M 1 ) 1 ( H 1 ) H } h = 1 H σ [ h , h ] . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqr=fFD0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa qaaiaabAfacaqGHbGaaeOCamaabmaabaGafqiVd0MbaKaadaWgaaWc baGaaGOmaaqabaaakiaawIcacaGLPaaaaeaacaaI9aWaaSaaaeaaca WGibaabaGaamisaiabgkHiTiaaigdaaaGaaeOvaiaabggacaqGYbWa aeWaaeaadaWcgaqaaiaadMeadaWgaaWcbaGaaGymaaqabaaakeaaca WGKbWaaSbaaSqaaiaad6gaaeqaaaaaaOGaayjkaiaawMcaamaaqaha beWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOWaae WaaeaacqaH8oqBdaWgaaWcbaWaamWaaeaacaWGObaacaGLBbGaayzx aaaabeaakiabgkHiTiabeY7aTbGaayjkaiaawMcaamaaCaaaleqaba GaaGOmaaaakiabgUcaRiaadweadaqadaqaamaalaaabaGaamysamaa DaaaleaacaaIXaaabaGaaGOmaaaaaOqaaiaadsgadaqhaaWcbaGaam OBaaqaaiaaikdaaaGccaWGnbWaaSbaaSqaaiaaigdaaeqaaaaaaOGa ayjkaiaawMcaamaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaam isaaqdcqGHris5aOGaaGPaVlabeo8aZnaaDaaaleaadaWadaqaaiaa dIgaaiaawUfacaGLDbaaaeaacaaIYaaaaaGcbaaabaGaaGPaVlaayk W7cqGHsisldaWcaaqaaiaadIeadaahaaWcbeqaaiaaikdaaaGccqaH dpWCdaahaaWcbeqaaiaaikdaaaaakeaadaqadaqaaiaadIeacqGHsi slcaaIXaaacaGLOaGaayzkaaWaaeWaaeaacaWGobGaeyOeI0IaaGym aaGaayjkaiaawMcaaaaadaqadaqaamaalaaabaGaaGymaaqaaiaadI eaaaGaeyOeI0IaamyramaabmaabaWaaSaaaeaacaWGjbWaa0baaSqa aiaaigdaaeaacaaIYaaaaaGcbaGaamizamaaDaaaleaacaWGUbaaba GaaGOmaaaaaaaakiaawIcacaGLPaaaaiaawIcacaGLPaaaaeaaaeaa caaMc8UaaGPaVlabgUcaRmaacmaabaWaaSaaaeaacaWGibaabaGaam isaiabgkHiTiaaigdaaaGaamyramaabmaabaWaaSaaaeaacaWGjbWa a0baaSqaaiaaigdaaeaacaaIYaaaaaGcbaGaamizamaaDaaaleaaca WGUbaabaGaaGOmaaaaaaaakiaawIcacaGLPaaacqGHsislcaWGfbWa aeWaaeaadaWcaaqaaiaadMeadaqhaaWcbaGaaGymaaqaaiaaikdaaa aakeaacaWGKbWaa0baaSqaaiaad6gaaeaacaaIYaaaaOGaamytamaa BaaaleaacaaIXaaabeaaaaaakiaawIcacaGLPaaacqGHsisldaWcaa qaaiaaigdaaeaadaqadaqaaiaadIeacqGHsislcaaIXaaacaGLOaGa ayzkaaGaamisaaaaaiaawUhacaGL9baadaaeWbqabSqaaiaadIgaca aI9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakiaaykW7cqaHdpWCdaWg aaWcbaWaamWaaeaacaWGObGaaGilaiaadIgaaiaawUfacaGLDbaaae qaaOGaaGOlaaaaaaa@BA4E@

Proof of Corollary 1: Proofs of ( i ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaeWaaeaaca WGPbaacaGLOaGaayzkaaaaaa@3638@ and ( i i ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaeWaaeaaca WGPbGaamyAaaGaayjkaiaawMcaaaaa@3726@ are trivial. For the proof of (iii), we rewrite lim n n σ μ ^ 2 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaubeaeqale aacaWGUbGaeyOKH4QaeyOhIukabeGcbaGaciiBaiaacMgacaGGTbaa aiaaykW7caWGUbGaeq4Wdm3aa0baaSqaaiqbeY7aTzaajaWaaSbaaW qaaiaaikdaaeqaaaWcbaGaaGOmaaaaaaa@4309@ as

lim n n σ μ ^ 2 2 = 1 H ( h = 1 H σ [ h ] 2 h = 1 H σ [ h , h ] ) f σ 2 . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaybuaeqale aacaWGUbGaeyOKH4QaeyOhIukabeGcbaGaciiBaiaacMgacaGGTbaa aiaaykW7caWGUbGaeq4Wdm3aa0baaSqaaiqbeY7aTzaajaWaaSbaae aacaaIYaaabeaaaeaacaaIYaaaaOGaaGypamaalaaabaGaaGymaaqa aiaadIeaaaWaaeWaaeaadaaeWbqabSqaaiaadIgacaaI9aGaaGymaa qaaiaadIeaa0GaeyyeIuoakiaaykW7cqaHdpWCdaqhaaWcbaWaamWa aeaacaWGObaacaGLBbGaayzxaaaabaGaaGOmaaaakiabgkHiTmaaqa habeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOGa aGPaVlabeo8aZnaaBaaaleaadaWadaqaaiaadIgacaaISaGaamiAaa Gaay5waiaaw2faaaqabaaakiaawIcacaGLPaaacqGHsislcaWGMbGa eq4Wdm3aaWbaaSqabeaacaaIYaaaaOGaaGOlaaaa@678F@

Using the equality (A.5), we write

1 H h = 1 H σ h , h f σ 2 N H N H 2 h = 1 H σ [ h , h ] + n ( N 1 ) N H 2 h = 1 H h = 1 H σ [ h , h ] = h = 1 H σ [ h , h ] N ( n H ) n N H 2 + n ( N 1 ) N H 2 h = 1 H h h H σ [ h , h ] n ( N 1 ) N H 2 h = 1 H h h H σ [ h , h ] 0, MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqr=fFD0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa qaaiabgkHiTmaalaaabaGaaGymaaqaaiaadIeaaaWaaabCaeqaleaa caWGObGaaGypaiaaigdaaeaacaWGibaaniabggHiLdGccaaMc8Uaeq 4Wdm3aaSbaaSqaaiaadIgacaaISaGaamiAaaqabaGccqGHsislcaWG MbGaeq4Wdm3aaWbaaSqabeaacaaIYaaaaaGcbaGaeyisISRaeyOeI0 YaaSaaaeaacaWGobGaamisaaqaaiaad6eacaWGibWaaWbaaSqabeaa caaIYaaaaaaakmaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaam isaaqdcqGHris5aOGaaGPaVlabeo8aZnaaBaaaleaadaWadaqaaiaa dIgacaGGSaGaamiAaaGaay5waiaaw2faaaqabaGccqGHRaWkdaWcaa qaaiaad6gadaqadaqaaiaad6eacqGHsislcaaIXaaacaGLOaGaayzk aaaabaGaamOtaiaadIeadaahaaWcbeqaaiaaikdaaaaaaOWaaabCae qaleaacaWGObGaaGypaiaaigdaaeaacaWGibaaniabggHiLdGcdaae WbqabSqaaiqadIgagaqbaiaai2dacaaIXaaabaGaamisaaqdcqGHri s5aOGaaGPaVlabeo8aZnaaBaaaleaadaWadaqaaiaadIgacaGGSaGa bmiAayaafaGaaGPaVdGaay5waiaaw2faaaqabaaakeaaaeaacaaI9a WaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWGibaaniabggHi LdGccaaMc8Uaeq4Wdm3aaSbaaSqaamaadmaabaGaamiAaiaacYcaca WGObaacaGLBbGaayzxaaaabeaakmaalaaabaGaamOtamaabmaabaGa amOBaiabgkHiTiaadIeaaiaawIcacaGLPaaacqGHsislcaWGUbaaba GaamOtaiaadIeadaahaaWcbeqaaiaaikdaaaaaaOGaey4kaSYaaSaa aeaacaWGUbWaaeWaaeaacaWGobGaeyOeI0IaaGymaaGaayjkaiaawM caaaqaaiaad6eacaWGibWaaWbaaSqabeaacaaIYaaaaaaakmaaqaha beWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOWaaa bCaeqaleaaceWGObGbauaacqGHGjsUcaWGObaabaGaamisaaqdcqGH ris5aOGaaGPaVlabeo8aZnaaBaaaleaadaWadaqaaiaadIgacaGGSa GabmiAayaafaGaaGPaVdGaay5waiaaw2faaaqabaaakeaaaeaacqGH KjYOdaWcaaqaaiaad6gadaqadaqaaiaad6eacqGHsislcaaIXaaaca GLOaGaayzkaaaabaGaamOtaiaadIeadaahaaWcbeqaaiaaikdaaaaa aOWaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWGibaaniabgg HiLdGcdaaeWbqabSqaaiqadIgagaqbaiabgcMi5kaadIgaaeaacaWG ibaaniabggHiLdGccaaMc8Uaeq4Wdm3aaSbaaSqaamaadmaabaGaam iAaiaacYcaceWGObGbauaacaaMc8oacaGLBbGaayzxaaaabeaakiab gsMiJkaaicdacaaISaaaaaaa@D0FE@

where MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeyisISlaaa@3572@ is used to indicate approximate equality since we replace limit f MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaaaa@34AC@ with its finite value for some n . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBaiaac6 caaaa@3566@ This inequality yields that

lim n n σ μ ^ 2 2 1 H h = 1 H σ [ h ] 2 = var ( n μ ^ 0 ) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaybuaeqale aacaWGUbGaeyOKH4QaeyOhIukabeGcbaGaciiBaiaacMgacaGGTbaa aiaaykW7caWGUbGaeq4Wdm3aa0baaSqaaiqbeY7aTzaajaWaaSbaae aacaaIYaaabeaaaeaacaaIYaaaaOGaeyizIm6aaSaaaeaacaaIXaaa baGaamisaaaadaaeWbqabSqaaiaadIgacaaI9aGaaGymaaqaaiaadI eaa0GaeyyeIuoakiaaykW7cqaHdpWCdaqhaaWcbaWaamWaaeaacaWG ObaacaGLBbGaayzxaaaabaGaaGOmaaaakiaai2dacaqG2bGaaeyyai aabkhadaqadaqaamaakaaabaGaamOBaaWcbeaakiqbeY7aTzaajaWa aSbaaSqaaiaaicdaaeqaaaGccaGLOaGaayzkaaaaaa@5C22@

which completes the proof.

Proof of Theorem 2: We first look at the expected value of T 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamivamaaBa aaleaacaaIXaaabeaaaaa@3581@ and T 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamivamaaBa aaleaacaaIYaaabeaaaaa@3582@ under design-0 and design-2. Using conditional expectation, the expected value of T 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamivamaaBa aaleaacaaIXaaabeaaaaa@3581@ reduces to

E ( T 1 ) = 1 E ( I 1 I 2 d n 2 ) h = 1 H h h H E ( I h I h M h M h M h M h d n 2 ) E ( X [ h ] X [ h ] ) 2 = { 2 ( H 1 ) h = 1 H σ [ h ] 2 + 2 H h = 1 H ( μ [ h ] μ ) 2 for design- 0 2 ( H 1 ) h = 1 H σ [ h ] 2 + 2 H h = 1 H ( μ [ h ] μ ) 2 2 h = 1 H h h H σ [ h , h ] for design- 2. MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabiGaaa qaaiaadweadaqadaqaaiaadsfadaWgaaWcbaGaaGymaaqabaaakiaa wIcacaGLPaaaaeaacaaI9aWaaSaaaeaacaaIXaaabaGaamyramaabm aabaWaaSaaaeaacaWGjbWaaSbaaSqaaiaaigdaaeqaaOGaamysamaa BaaaleaacaaIYaaabeaaaOqaaiaadsgadaqhaaWcbaGaamOBaaqaai aaikdaaaaaaaGccaGLOaGaayzkaaaaamaaqahabeWcbaGaamiAaiaa i2dacaaIXaaabaGaamisaaqdcqGHris5aOWaaabCaeqaleaacaWGOb GaeyiyIKRabmiAayaafaaabaGaamisaaqdcqGHris5aOGaaGPaVlaa dweadaqadaqaamaalaaabaGaamysamaaBaaaleaacaWGObaabeaaki aadMeadaWgaaWcbaGabmiAayaafaaabeaakiaad2eadaWgaaWcbaGa amiAaaqabaGccaWGnbWaaSbaaSqaaiqadIgagaqbaaqabaaakeaaca WGnbWaaSbaaSqaaiaadIgaaeqaaOGaamytamaaBaaaleaaceWGObGb auaaaeqaaOGaamizamaaDaaaleaacaWGUbaabaGaaGOmaaaaaaaaki aawIcacaGLPaaacaWGfbWaaeWaaeaacaWGybWaaSbaaSqaamaadmaa baGaamiAaaGaay5waiaaw2faaaqabaGccqGHsislcaWGybWaaSbaaS qaamaadmaabaGabmiAayaafaGaaGPaVdGaay5waiaaw2faaaqabaaa kiaawIcacaGLPaaadaahaaWcbeqaaiaaikdaaaaakeaaaeaacaaI9a WaaiqaaeaafaqaaeGacaaabaGaaGOmamaabmaabaGaamisaiabgkHi TiaaigdaaiaawIcacaGLPaaadaaeWbqabSqaaiaadIgacaaI9aGaaG ymaaqaaiaadIeaa0GaeyyeIuoakiaaykW7cqaHdpWCdaqhaaWcbaWa amWaaeaacaWGObaacaGLBbGaayzxaaaabaGaaGOmaaaakiabgUcaRi aaikdacaWGibWaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWG ibaaniabggHiLdGcdaqadaqaaiabeY7aTnaaBaaaleaadaWadaqaai aadIgaaiaawUfacaGLDbaaaeqaaOGaeyOeI0IaeqiVd0gacaGLOaGa ayzkaaWaaWbaaSqabeaacaaIYaaaaaGcbaGaaeOzaiaab+gacaqGYb GaaGPaVlaaysW7caqGKbGaaeyzaiaabohacaqGPbGaae4zaiaab6ga ieaacaWFTcGaaGimaaqaaiaaikdadaqadaqaaiaadIeacqGHsislca aIXaaacaGLOaGaayzkaaWaaabCaeqaleaacaWGObGaaGypaiaaigda aeaacaWGibaaniabggHiLdGccaaMc8Uaeq4Wdm3aa0baaSqaamaadm aabaGaamiAaaGaay5waiaaw2faaaqaaiaaikdaaaGccqGHRaWkcaaI YaGaamisamaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaa qdcqGHris5aOWaaeWaaeaacqaH8oqBdaWgaaWcbaWaamWaaeaacaWG ObaacaGLBbGaayzxaaaabeaakiabgkHiTiabeY7aTbGaayjkaiaawM caamaaCaaaleqabaGaaGOmaaaakiabgkHiTiaaikdadaaeWbqabSqa aiaadIgacaaI9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakmaaqahabe WcbaGabmiAayaafaGaeyiyIKRaamiAaaqaaiaadIeaa0GaeyyeIuoa kiaaykW7cqaHdpWCdaWgaaWcbaWaamWaaeaacaWGObGaaiilaiqadI gagaqbaiaaykW7aiaawUfacaGLDbaaaeqaaaGcbaGaaeOzaiaab+ga caqGYbGaaGjbVlaaykW7caqGKbGaaeyzaiaabohacaqGPbGaae4zai aab6gacaWFTcGaaGOmaiaai6caaaaacaGL7baaaaaaaa@EA41@

In a similar fashion, one can show that

E ( T 2 ) = h = 1 H E ( H I h * M h ( M h 1 ) M h ( M h 1 ) d n * ) 2 E { ( X [ h ] 1 μ [ h ] ) ( μ [ h ] X [ h ] 2 ) } 2 = { 2 H E ( I 1 * d n * ) h = 1 H σ [ h ] 2 for design- 0 2 H E ( I 1 * d n * ) { σ [ h ] 2 h H σ [ h , h ] } for design- 2. MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabiGaaa qaaiaadweadaqadaqaaiaadsfadaWgaaWcbaGaaGOmaaqabaaakiaa wIcacaGLPaaaaeaacaaI9aWaaabCaeqaleaacaWGObGaaGypaiaaig daaeaacaWGibaaniabggHiLdGccaaMc8UaamyramaabmaabaWaaSaa aeaacaWGibGaamysamaaDaaaleaacaWGObaabaGaaGOkaaaakiaad2 eadaWgaaWcbaGaamiAaaqabaGcdaqadaqaaiaad2eadaWgaaWcbaGa amiAaaqabaGccqGHsislcaaIXaaacaGLOaGaayzkaaaabaGaamytam aaBaaaleaacaWGObaabeaakmaabmaabaGaamytaiaadIgacqGHsisl caaIXaaacaGLOaGaayzkaaGaamizamaaDaaaleaacaWGUbaabaGaaG OkaaaaaaaakiaawIcacaGLPaaacaaIYaGaamyramaacmaabaWaaeWa aeaacaWGybWaaSbaaSqaamaadmaabaGaamiAaaGaay5waiaaw2faai aaigdaaeqaaOGaeyOeI0IaeqiVd02aaSbaaSqaamaadmaabaGaamiA aaGaay5waiaaw2faaaqabaaakiaawIcacaGLPaaacqGHsisldaqada qaaiabeY7aTnaaBaaaleaadaWadaqaaiaadIgaaiaawUfacaGLDbaa aeqaaOGaeyOeI0IaamiwamaaBaaaleaadaWadaqaaiaadIgaaiaawU facaGLDbaacaaIYaaabeaaaOGaayjkaiaawMcaaaGaay5Eaiaaw2ha amaaCaaaleqabaGaaGOmaaaaaOqaaaqaaiaai2dadaGabaqaauaaba qaciaaaeaacaaIYaGaamisaiaadweadaqadaqaamaalaaabaGaamys amaaDaaaleaacaaIXaaabaGaaGOkaaaaaOqaaiaadsgadaqhaaWcba GaamOBaaqaaiaaiQcaaaaaaaGccaGLOaGaayzkaaWaaabCaeqaleaa caWGObGaaGypaiaaigdaaeaacaWGibaaniabggHiLdGccaaMc8Uaeq 4Wdm3aa0baaSqaamaadmaabaGaamiAaaGaay5waiaaw2faaaqaaiaa ikdaaaaakeaacaqGMbGaae4BaiaabkhacaaMe8UaaGPaVlaabsgaca qGLbGaae4CaiaabMgacaqGNbGaaeOBaGqaaiaa=1kacaaIWaaabaGa aGOmaiaadIeacaWGfbWaaeWaaeaadaWcaaqaaiaadMeadaqhaaWcba GaaGymaaqaaiaaiQcaaaaakeaacaWGKbWaa0baaSqaaiaad6gaaeaa caaIQaaaaaaaaOGaayjkaiaawMcaamaacmaabaGaeq4Wdm3aa0baaS qaamaadmaabaGaamiAaaGaay5waiaaw2faaaqaaiaaikdaaaGccqGH sisldaaeWbqabSqaaiaadIgaaeaacaWGibaaniabggHiLdGccaaMc8 Uaeq4Wdm3aaSbaaSqaamaadmaabaGaamiAaiaacYcacaWGObaacaGL BbGaayzxaaaabeaaaOGaay5Eaiaaw2haaaqaaiaabAgacaqGVbGaae OCaiaaysW7caaMc8UaaeizaiaabwgacaqGZbGaaeyAaiaabEgacaqG UbGaa8xRaiaaikdacaaIUaaaaaGaay5Eaaaaaaaa@C4F5@

Since I h * / d n * , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaSGbaeaaca WGjbWaa0baaSqaaiaadIgaaeaacaaIQaaaaaGcbaGaamizamaaDaaa leaacaWGUbaabaGaaGOkaaaaaaGccaGGSaaaaa@39F4@ h = 1, , H , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiAaiaai2 dacaaIXaGaaGilaiablAciljaaiYcacaWGibGaaiilaaaa@3A3B@ are identically distributed, we have E ( I 1 * / d n * ) = 1 / H . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaWaaSGbaeaacaWGjbWaa0baaSqaaiaaigdaaeaacaaIQaaaaaGc baGaamizamaaDaaaleaacaWGUbaabaGaaGOkaaaaaaaakiaawIcaca GLPaaacaaI9aWaaSGbaeaacaaIXaaabaGaamisaaaacaGGUaaaaa@3E7C@ It follows that E ( T 2 ) = 2 h = 1 H σ [ h ] 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGaamivamaaBaaaleaacaaIYaaabeaaaOGaayjkaiaawMcaaiaa i2dacaaIYaWaaabmaeqaleaacaWGObGaaGypaiaaigdaaeaacaWGib aaniabggHiLdGccaaMc8Uaeq4Wdm3aa0baaSqaamaadmaabaGaamiA aaGaay5waiaaw2faaaqaaiaaikdaaaaaaa@45C1@ for design-0 and E ( T 2 ) = 2 h = 1 H σ [ h ] 2 2 h H σ [ h , h ] MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGaamivamaaBaaaleaacaaIYaaabeaaaOGaayjkaiaawMcaaiaa i2dacaaIYaWaaabmaeqaleaacaWGObGaaGypaiaaigdaaeaacaWGib aaniabggHiLdGccaaMc8Uaeq4Wdm3aa0baaSqaamaadmaabaGaamiA aaGaay5waiaaw2faaaqaaiaaikdaaaGccqGHsislcaaIYaWaaabmae qaleaacaWGObaabaGaamisaaqdcqGHris5aOGaeq4Wdm3aaSbaaSqa amaadmaabaGaamiAaiaacYcacaWGObaacaGLBbGaayzxaaaabeaaaa a@51A6@ for design-2.

For the proof of σ ¯ 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGafq4WdmNbae badaahaaWcbeqaaiaaikdaaaaaaa@3685@ we first observe that E ( T 1 ) + E ( T 2 ) = 2 H 2 σ 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGaamivamaaBaaaleaacaaIXaaabeaaaOGaayjkaiaawMcaaiab gUcaRiaadweadaqadaqaaiaadsfadaWgaaWcbaGaaGOmaaqabaaaki aawIcacaGLPaaacaaI9aGaaGOmaiaadIeadaahaaWcbeqaaiaaikda aaGccqaHdpWCdaahaaWcbeqaaiaaikdaaaaaaa@42CD@ for design-0 and E ( T 1 ) + E ( T 2 ) = 2 N H 2 σ 2 / ( N 1 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGaamivamaaBaaaleaacaaIXaaabeaaaOGaayjkaiaawMcaaiab gUcaRiaadweadaqadaqaaiaadsfadaWgaaWcbaGaaGOmaaqabaaaki aawIcacaGLPaaacaaI9aWaaSGbaeaacaaIYaGaamOtaiaadIeadaah aaWcbeqaaiaaikdaaaGccqaHdpWCdaahaaWcbeqaaiaaikdaaaaake aadaqadaqaaiaad6eacqGHsislcaaIXaaacaGLOaGaayzkaaaaaaaa @47C4@ for design-2. The proofs then follows from these equalities.

We complete the proof of the unbiasedness of σ ^ μ ^ 0 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGafq4WdmNbaK aadaqhaaWcbaGafqiVd0MbaKaadaWgaaadbaGaaGimaaqabaaaleaa caaIYaaaaaaa@3935@ and σ ^ μ ^ 2 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGafq4WdmNbaK aadaqhaaWcbaGafqiVd0MbaKaadaWgaaadbaGaaGOmaaqabaaaleaa caaIYaaaaaaa@3937@ and σ ¯ μ ^ 2 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGafq4WdmNbae badaqhaaWcbaGafqiVd0MbaKaadaWgaaadbaGaaGOmaaqabaaaleaa caaIYaaaaaaa@393F@ by inserting E ( T 1 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGaamivamaaBaaaleaacaaIXaaabeaaaOGaayjkaiaawMcaaaaa @37DE@ and E ( T 2 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9 qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGaamivamaaBaaaleaacaaIYaaabeaaaOGaayjkaiaawMcaaaaa @37DF@ in equations (2.5), (2.6) and (2.7).

The proofs for RSS estimators are similar. Hence, they are omitted.

References

Ahn, S., Lim, J. and Wang, X. (2014). The student’s t MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiDaaaa@35A9@ approximation to distributions of pivotal statistics from ranked set samples. Journal of Korean Statistical Society, 43, 643-652.

Al-Saleh, M.F., and Samawi, H.M. (2007). A note on inclusion probability in ranked set sampling and some of its variations. Test, 16, 198-209.

Dastbaravarde, A., Arghami, N.R. and Sarmad, M. (2016). Some theoretical results concerning non-parametric estimation by using a judgment poststratication sample. Communications in Statistics - Theory and Methods, 45, 8, 2181-2203.

Deshpande, J.V., Frey, J. and Ozturk, O. (2006). Nonparametric ranked-set sampling confidence intervals for a finite population. Environmental and Ecological Statistics, 13, 25-40.

Frey, J. (2011). Recursive computation of inclusion probabilities in ranked set sampling. Journal of Statistical Planning and Inference, 141, 3632-3639.

Frey, J., and Feeman, T.G. (2012). An improved mean estimator for judgment post-stratification. Computational Statistics and Data Analysis, 56, 418-426.

Frey, J., and Feeman, T.G. (2013). Variance estimation using judgment post-stratification. Annals of the Institute of Statistical Mathematics, 65, 551-569.

Frey, J., and Ozturk, O. (2011). Constrained estimation using judgment post-stratification. Annals of the Institute of Statistical Mathematics, 63, 769-789.

Gokpinar, F., and Ozdemir, Y.A. (2010). Generalization of inclusion probabilities in ranked set sampling. Hacettepe Journal of Mathematics and Statistics, 39, 89-95.

Jafari Jozani, M., and Johnson, B.C. (2011). Design based estimation for ranked set sampling in finite population. Environmental and Ecological Statistics, 18, 663-685.

Jafari Jozani, M., and Johnson, B.C. (2012). Randomized nomination sampling in finite populations. Journal of Statistical Planning and Inference, 142, 2103-2115.

MacEachern, S.N., Stasny, E.A. and Wolfe, D.A. (2004). Judgment post-stratification with imprecise ranking. Biometrics, 60, 207-215.

McIntyre, G.A. (1952). A method for unbiased selective sampling using ranked-sets. Australian Journal of Agricultural Research, 3, 385-390.

McIntyre, G.A. (2005). A method of unbiased selective sampling using ranked-sets. The American Statistician, 59, 230-232.

Ozdemir, Y.A., and Gokpinar, F. (2007). A generalized formula for inclusion probabilities in ranked set sampling. Hacettepe Journal of Mathematics and Statistics, 36, 89-99.

Ozdemir, Y.A., and Gokpinar, F. (2008). A new formula for inclusion probablities in median ranked set sampling. Communications in Statisitcs - Theory and Methods, 37, 2022-2033.

Ozturk, O. (2013). Combining multi-obsever information in partially rank-ordered judgment post-stratifed and ranked set samples. The Canadian Journal of Statistics, 41, 304-324.

Ozturk, O. (2014a). Estimation of population mean and total in finite population setting using multiple auxiliary variables. Journal of Agricultural, Biological and Environmental Statistics, 19, 161-184.

Ozturk, O. (2014b). Statistical inference for population quantiles and variance in judgment post-stratified samples. Computational Statistics and Data Analysis, 77, 188-205.

Ozturk, O. (2015). Distribution free two-sample methods for judgment-post stratified data. Statistica Sinica, 25, 1691-1712.

Ozturk, O. (2016). Estimation of a finite population mean and total using population ranks of sample units. Journal of Agricultural, Biological and Environmental Statistics, 21, 1, 181-202.

Ozturk, O., and Jafari Jozani, M. (2013). Inclusion probabilities in partially rank ordered set sampling. Computational Statistics and Data anlysis, 69, 122-132.

Patil, G.P., Sinha, A.K. and Taillie, C. (1995). Finite population correction for ranked set sampling. Annals of the Institute of Statistical Mathematics, 47, 621-636.

Presnell, B., and Bohn, L.L. (1999). U-Statistics and Imperfect Ranking in Ranked Set Sampling, 10, 111-126.

Stokes, S.L., Wang, X. and Chen, M. (2007). Judgment post stratification with multiple rankers. Journal of Statistical Theory and Applications, 6, 344-359.

Wang, X., Lim, J. and Stokes, S.L. (2008). A nonparametric mean estimator for judgment post-stratified data. Biometrics, 64, 355-363.

Wang, X., Wang, K. and Lim, J. (2012). Isotonized CDF estimation from judgment post-stratification data with empty strata. Biometrics, 68, 194-202.

Wang, X., Stokes, L., Lim, J. and Chen, M. (2006). Concomitant of multivariate order statistics with application to judgment poststratification. Journal of American Statistical Association, 101(476), 1693-1704.

Wolfe, D.A. (2012). Ranked set sampling: Its relevance and impact on statistical inference. ISRN Probability and Statistics, doi:10.5402/2012/568385.

Date modified: