Statistics Graduate Level Quiz: Unbiased Estimation And Umvue
10 questions · exam conditions
0:00
Unbiased Estimation And UmvueQuestion 1 of 10

Let X1,,XnX_1,\ldots,X_n be independent with density fθ(x)=1/θf_\theta(x)=1/\theta for 0<x<θ0<x<\theta, where θ>0\theta>0. Write M=maxiXiM=\max_i X_i. Which function of MM is the UMVUE of θ2\theta^2?

n+1nM2\frac{n+1}{n}M^2
n+2nM2\frac{n+2}{n}M^2
nn+2M2\frac{n}{n+2}M^2
(n+1nM)2\left(\frac{n+1}{n}M\right)^2
← Back to quizzes

Statistics Graduate Level Quiz

Statistics Graduate Level Quiz: Unbiased Estimation And Umvue

Practice Unbiased Estimation And Umvue in Statistics Graduate Level with focused quiz questions that help you check what you know, review explanations, and build confidence with test-style prompts.

What this quiz covers

This quiz focuses on Unbiased Estimation And Umvue, giving you a quick way to practice the rules, question types, and explanations that matter most for Statistics Graduate Level.

How to use this quiz

Try each quiz question before looking at the correct answer. Use the explanations to review missed ideas, then come back to similar questions until the pattern feels familiar.

All questions

Question 1

Let X1,,XnX_1,\ldots,X_n be independent with density fθ(x)=1/θf_\theta(x)=1/\theta for 0<x<θ0<x<\theta, where θ>0\theta>0. Write M=maxiXiM=\max_i X_i. Which function of MM is the UMVUE of θ2\theta^2?

  1. n+1nM2\frac{n+1}{n}M^2
  2. n+2nM2\frac{n+2}{n}M^2 (correct answer)
  3. nn+2M2\frac{n}{n+2}M^2
  4. (n+1nM)2\left(\frac{n+1}{n}M\right)^2
Explanation: When you see a question like this, think: sufficient statistic → Rao-Blackwell → UMVUE. For the Uniform(0,θ)(0,\theta) family, M=maxiXiM = \max_i X_i is a complete sufficient statistic, so any unbiased estimator that is a function of MM is automatically the UMVUE. Your job is to find which function of MM is unbiased for θ2\theta^2. Start by deriving the distribution of MM. Its CDF is FM(m)=(m/θ)nF_M(m) = (m/\theta)^n, giving density fM(m)=nmn1/θnf_M(m) = nm^{n-1}/\theta^n for 0<m<θ0 < m < \theta. Now compute E[M2]E[M^2]: E[M2]=0θm2nmn1θndm=nθnθn+2n+2=nn+2θ2E[M^2] = \int_0^\theta m^2 \cdot \frac{nm^{n-1}}{\theta^n}\,dm = \frac{n}{\theta^n}\cdot\frac{\theta^{n+2}}{n+2} = \frac{n}{n+2}\,\theta^2 So E[M2]=nn+2θ2E[M^2] = \frac{n}{n+2}\theta^2, which means to get an unbiased estimator of θ2\theta^2 you need to multiply M2M^2 by n+2n\frac{n+2}{n}. That confirms B is correct. A uses the factor n+1n\frac{n+1}{n}, which corresponds to making n+1nM\frac{n+1}{n}M unbiased for θ\theta (since E[M]=nn+1θE[M] = \frac{n}{n+1}\theta) — a different problem entirely. C inverts the correction, giving nn+2M2\frac{n}{n+2}M^2, which has expectation n2(n+2)2θ2θ2\frac{n^2}{(n+2)^2}\theta^2 \neq \theta^2. D squares the UMVUE of θ\theta, yielding (n+1)2n2M2\frac{(n+1)^2}{n^2}M^2, which is biased for θ2\theta^2 since squaring an unbiased estimator introduces bias. Study tip: Always compute E[Mk]E[M^k] explicitly from the order-statistic density — confusing the unbiasing constants for different powers of θ\theta is the most common trap here.

Question 2

Let X1,,XnX_1,\ldots,X_n be independent exponential random variables with rate θ>0\theta>0 and density fθ(x)=θeθxf_\theta(x)=\theta e^{-\theta x} for x>0x>0. Assume n>1n>1 and set S=i=1nXiS=\sum_{i=1}^n X_i. Which estimator is the UMVUE of the rate θ\theta?

  1. nS\frac{n}{S}
  2. n1S\frac{n-1}{S} (correct answer)
  3. Sn1\frac{S}{n-1}
  4. n+1S\frac{n+1}{S}
Explanation: When you see a question asking for a UMVUE, your roadmap is: find a complete sufficient statistic, then find an unbiased estimator that's a function of it. By the Lehmann-Scheffé theorem, that estimator is the UMVUE. For exponential data with rate θ\theta, the sufficient statistic is S=i=1nXiS = \sum_{i=1}^n X_i, which follows a Gamma(n,θ)(n, \theta) distribution — meaning its density involves θneθs\theta^n e^{-\theta s}, confirming completeness. Now you need an unbiased estimator of θ\theta based on SS. Since SGamma(n,θ)S \sim \text{Gamma}(n, \theta), its mean is E[S]=n/θE[S] = n/\theta, so E[1/S]=θ/(n1)E[1/S] = \theta/(n-1) (using the inverse-gamma expectation: E[1/S]=θ/(n1)E[1/S] = \theta/(n-1) for n>1n > 1). Therefore E ⁣[n1S]=θE\!\left[\frac{n-1}{S}\right] = \theta, making B an unbiased estimator of θ\theta that depends only on the complete sufficient statistic SS. By Lehmann-Scheffé, it is the UMVUE. Choice A, nS\frac{n}{S}, is the MLE of θ\theta (since θ^MLE=n/S\hat{\theta}_{MLE} = n/S), but it is biased: E[n/S]=nθ/(n1)θE[n/S] = n \cdot \theta/(n-1) \neq \theta. It overestimates θ\theta on average. Choice C, Sn1\frac{S}{n-1}, estimates 1/θ1/\theta (the mean), not the rate — it's solving the wrong problem entirely. Choice D, n+1S\frac{n+1}{S}, overcorrects in the wrong direction and has no natural derivation here. A key study tip: the MLE is rarely unbiased — always verify unbiasedness separately, especially for rate/precision parameters where the bias correction flips the sign of the adjustment (you subtract from nn, not add).

Question 3

Consider the normal linear model Y=Xβ+εY=X\beta+\varepsilon, where XX is a fixed full-column-rank design matrix, εN(0,σ2I)\varepsilon\sim N(0,\sigma^2 I), and σ2\sigma^2 is known. Let β^=(XTX)1XTY\widehat\beta=(X^{\mathsf T}X)^{-1}X^{\mathsf T}Y, and let vjv_j denote the jjth diagonal entry of (XTX)1(X^{\mathsf T}X)^{-1}.

Which estimator is the UMVUE of βj2\beta_j^2?

  1. β^j2σ2vj\widehat\beta_j^2-\sigma^2v_j (correct answer)
  2. β^j2+σ2vj\widehat\beta_j^2+\sigma^2v_j
  3. β^j2σvj\widehat\beta_j^2-\sigma v_j
  4. β^j2σ2vj\widehat\beta_j^2-\frac{\sigma^2}{v_j}
Explanation: When a question asks for the UMVUE of a nonlinear function of parameters, your instinct should be the Rao-Blackwell/Lehmann-Scheffé approach: find an unbiased estimator that is a function of the complete sufficient statistic. In the normal linear model with known σ2\sigma^2, the complete sufficient statistic is β^\widehat{\beta}, so any unbiased function of β^\widehat{\beta} is automatically the UMVUE. The key insight is that β^jN(βj,σ2vj)\widehat{\beta}_j \sim N(\beta_j, \sigma^2 v_j), which means E[β^j2]=Var(β^j)+(E[β^j])2=σ2vj+βj2E[\widehat{\beta}_j^2] = \text{Var}(\widehat{\beta}_j) + (E[\widehat{\beta}_j])^2 = \sigma^2 v_j + \beta_j^2. Therefore E[β^j2σ2vj]=βj2E[\widehat{\beta}_j^2 - \sigma^2 v_j] = \beta_j^2, making answer A an unbiased estimator. Since it is a function of the complete sufficient statistic β^\widehat{\beta}, by Lehmann-Scheffé it is the UMVUE. B adds σ2vj\sigma^2 v_j instead of subtracting it, giving E[β^j2+σ2vj]=βj2+2σ2vjβj2E[\widehat{\beta}_j^2 + \sigma^2 v_j] = \beta_j^2 + 2\sigma^2 v_j \neq \beta_j^2. This reflects a sign error in the bias-correction step. C subtracts σvj\sigma v_j (note: σ\sigma, not σ2\sigma^2), which is dimensionally inconsistent and leaves a residual bias. D divides σ2\sigma^2 by vjv_j rather than multiplying, which has no grounding in the variance formula for β^j\widehat{\beta}_j and does not yield an unbiased estimator. A useful strategy: whenever you need the UMVUE of g(θ)g(\theta) for a curved function, compute E[T2]E[T^2] for your sufficient statistic TT, identify the bias term explicitly, and subtract it. The bias of β^j2\widehat{\beta}_j^2 is always +σ2vj+\sigma^2 v_j, so the correction always goes in the negative direction.

Question 4

Suppose X1,,XnX_1,\ldots,X_n are independent Bernoulli random variables with success probability pp, where 0<p<10<p<1 and nn is fixed. Which target function admits an unbiased estimator based on this sample?

  1. pnp^n (correct answer)
  2. pn+1p^{n+1}
  3. 1p\frac{1}{p}
  4. log(p1p)\log\left(\frac{p}{1-p}\right)
Explanation: When working with Bernoulli samples, a key question is: which functions of pp are estimable? A function g(p)g(p) admits an unbiased estimator if and only if it can be expressed as a polynomial in pp of degree at most nn — this follows from the fact that any estimator's expectation must be a polynomial in pp of degree n\leq n (since the sufficient statistic S=XiBinomial(n,p)S = \sum X_i \sim \text{Binomial}(n,p)). Consider choice A: g(p)=png(p) = p^n. The estimator T=X1X2XnT = X_1 X_2 \cdots X_n — the product of all observations — is unbiased, since E[X1Xn]=pnE[X_1 \cdots X_n] = p^n by independence. This is a degree-nn polynomial in pp, so it's estimable. A is correct. Choice B, pn+1p^{n+1}, requires a degree-(n+1)(n+1) polynomial, which exceeds what any estimator based on nn Bernoulli observations can reproduce in expectation. No unbiased estimator exists. Choice C, 1p\frac{1}{p}, is not a polynomial in pp at all — it diverges as p0p \to 0, while any estimator's expectation must be a polynomial (hence bounded near zero). This rules out unbiasedness entirely. Choice D, log ⁣(p1p)\log\!\left(\frac{p}{1-p}\right), is a transcendental function, not a polynomial, so it similarly cannot equal the expectation of any estimator for all p(0,1)p \in (0,1). Study tip: For estimability questions with exponential family models, always check whether the target function is a polynomial in pp of degree n\leq n. If it's transcendental or exceeds degree nn, no unbiased estimator can exist.

Question 5

An estimator UU has finite variance and is unbiased for g(θ)g(\theta). A statistic TT is sufficient for θ\theta but is not known to be complete. Define δ(T)=Eθ(UT)\delta(T)=E_\theta(U\mid T), where sufficiency ensures that the resulting function of TT does not depend on the unknown parameter.

Which conclusion is justified from the stated information alone?

  1. δ(T)\delta(T) is unbiased and has variance no greater than that of UU, but it need not be the UMVUE. (correct answer)
  2. δ(T)\delta(T) is the unique unbiased estimator because sufficiency alone implies completeness.
  3. δ(T)\delta(T) is the UMVUE because every Rao–Blackwell improvement is automatically uniformly optimal.
  4. δ(T)\delta(T) may have smaller variance, but conditioning can destroy the unbiasedness of UU.
Explanation: Whenever you see a question combining sufficiency, conditioning, and optimality, you need to carefully separate what the Rao–Blackwell Theorem guarantees from what the Lehmann–Scheffé Theorem adds on top of it. The Rao–Blackwell Theorem tells you exactly two things: if UU is unbiased for g(θ)g(\theta) and TT is sufficient, then δ(T)=Eθ(UT)\delta(T) = E_\theta(U \mid T) is (1) still unbiased, because Eθ[δ(T)]=Eθ[Eθ(UT)]=Eθ[U]=g(θ)E_\theta[\delta(T)] = E_\theta[E_\theta(U \mid T)] = E_\theta[U] = g(\theta), and (2) has variance no greater than Var(U)\text{Var}(U), by the law of total variance: Var(U)=Var(δ(T))+E[Var(UT)]Var(δ(T))\text{Var}(U) = \text{Var}(\delta(T)) + E[\text{Var}(U \mid T)] \geq \text{Var}(\delta(T)). That's all sufficiency alone gives you — making A correct. To guarantee δ(T)\delta(T) is the UMVUE, you need the additional condition that TT is complete. Completeness ensures uniqueness among unbiased estimators of TT, which is the content of Lehmann–Scheffé. Since the problem explicitly states completeness is not known, you cannot claim UMVUE status. B is wrong because sufficiency does not imply completeness — these are distinct properties, and conflating them is a classic trap. C is wrong for the same reason: Rao–Blackwell improves variance but does not guarantee uniform optimality without completeness. D is wrong because the tower property of conditional expectation preserves unbiasedness — conditioning on a sufficient statistic never destroys it. Your study tip: memorize the two-step ladder — Rao–Blackwell gives you improvement, Lehmann–Scheffé (requiring completeness) gives you uniqueness and optimality. Exam questions often test whether you confuse the two.

Question 6

Suppose UU is unbiased for g(θ)g(\theta), while HH is unbiased for zero. For every θ\theta, assume Varθ(H)=4\operatorname{Var}_\theta(H)=4 and Covθ(U,H)=2\operatorname{Cov}_\theta(U,H)=2.

Among estimators of the form U+cHU+cH, which one has the smallest variance, and what does this imply about UU?

  1. U+2HU+2H; therefore UU remains a possible UMVUE.
  2. U+12HU+\frac{1}{2}H; therefore UU cannot be the UMVUE.
  3. U2HU-2H; therefore UU remains a possible UMVUE.
  4. U12HU-\frac{1}{2}H; therefore UU cannot be the UMVUE. (correct answer)
Explanation: Whenever you see a question about minimizing variance over a family of estimators, your instinct should be to treat the variance as a function of the free parameter and optimize it directly. Since HH is unbiased for zero, U+cHU + cH is unbiased for g(θ)g(\theta) for any constant cc. Now expand the variance: Var(U+cH)=Var(U)+2cCov(U,H)+c2Var(H)\operatorname{Var}(U + cH) = \operatorname{Var}(U) + 2c\operatorname{Cov}(U,H) + c^2\operatorname{Var}(H) =Var(U)+2c(2)+c2(4)=Var(U)+4c+4c2= \operatorname{Var}(U) + 2c(2) + c^2(4) = \operatorname{Var}(U) + 4c + 4c^2 To minimize, take the derivative with respect to cc and set it to zero: ddc(4c+4c2)=4+8c=0    c=12\frac{d}{dc}(4c + 4c^2) = 4 + 8c = 0 \implies c = -\frac{1}{2} So the minimum-variance estimator in this family is U12HU - \frac{1}{2}H, confirming answer D. The critical implication: if UU were the UMVUE, no unbiased estimator could have smaller variance than UU. But U12HU - \frac{1}{2}H (with c=120c = -\frac{1}{2} \neq 0) strictly beats UU, so UU cannot be the UMVUE. A uses c=2c = 2, which is not the minimizer — it's a common error from forgetting the factor of 2 in the derivative. B uses c=+12c = +\frac{1}{2}, getting the sign wrong; and even if the variance were reduced, claiming UU "cannot be UMVUE" would be correct, making this a sign-error trap. C finds the right magnitude c=2c = -2 but misapplies the formula — and then draws the wrong conclusion about UMVUE status. The key study tip: any time a nonzero cc minimizes the variance, the original estimator UU is automatically disqualified as a UMVUE. The sign of the optimal cc comes directly from Cov(U,H)Var(H)-\frac{\operatorname{Cov}(U,H)}{\operatorname{Var}(H)}, so memorize this ratio.

Question 7

A single observation satisfies XN(θ,1)X\sim N(\theta,1), but the parameter space is restricted to θ{1,1}\theta\in\{-1,1\}. The statistic T=XT=X is sufficient. Consider H(T)=T22H(T)=T^2-2.

Which statement correctly describes the role of completeness in this model?

  1. TT is not sufficient because the parameter space contains only two possible values.
  2. TT is complete because a normal statistic is always complete whenever its variance is known.
  3. TT is not complete because Eθ{H(T)}=0E_\theta\{H(T)\}=0 at both parameter values although H(T)H(T) is not almost surely zero. (correct answer)
  4. TT is complete because H(T)H(T) has nonzero variance under both parameter values.
Explanation: Completeness is a property of a sufficient statistic that goes beyond sufficiency alone. A statistic TT is complete for a family indexed by θ\theta if the only measurable function h(T)h(T) satisfying Eθ[h(T)]=0E_\theta[h(T)] = 0 for all θ\theta in the parameter space is h(T)=0h(T) = 0 almost surely. When the parameter space is unusually small, this condition can fail in surprising ways. Here, consider H(T)=T22H(T) = T^2 - 2. Under θ=1\theta = 1, we have XN(1,1)X \sim N(1,1), so E1[X2]=Var(X)+(E1[X])2=1+1=2E_1[X^2] = \text{Var}(X) + (E_1[X])^2 = 1 + 1 = 2, giving E1[H(T)]=22=0E_1[H(T)] = 2 - 2 = 0. Under θ=1\theta = -1, symmetry gives E1[X2]=1+1=2E_{-1}[X^2] = 1 + 1 = 2 as well, so E1[H(T)]=0E_{-1}[H(T)] = 0. Since H(T)H(T) is zero in expectation at both parameter values yet is not almost surely zero (it varies with XX), completeness fails. This confirms C is correct. A is wrong because sufficiency is unaffected by the size of the parameter space — T=XT = X still carries all the information about θ\theta, which is what sufficiency measures. B is wrong because completeness of a normal family holds when the parameter space contains an open interval; restricting θ\theta to just two points breaks this, as the example demonstrates. D is wrong because nonzero variance of H(T)H(T) is irrelevant — completeness requires checking whether the expectation condition forces h=0h = 0 a.s., not whether hh has spread. As a study tip: whenever a question restricts the parameter space to a finite or otherwise thin set, immediately suspect that completeness may fail even if sufficiency is intact.

Question 8

Let X1,,XnX_1,\ldots,X_n be independent Poisson random variables with mean λ\lambda, where n2n\ge 2. The estimator U=X1X2U=X_1X_2 is unbiased for λ2\lambda^2. If T=i=1nXiT=\sum_{i=1}^n X_i, which expression equals E(UT)E(U\mid T) and is therefore the UMVUE of λ2\lambda^2?

  1. T(T1)n(n1)\frac{T(T-1)}{n(n-1)}
  2. T2n2\frac{T^2}{n^2}
  3. T(T1)n2\frac{T(T-1)}{n^2} (correct answer)
  4. T2T+nn2\frac{T^2-T+n}{n^2}
Explanation: Whenever you see a question involving unbiased estimators and sufficient statistics, think Rao-Blackwell: if you condition an unbiased estimator on a complete sufficient statistic, you get the UMVUE. Here, T=i=1nXiT = \sum_{i=1}^n X_i is complete sufficient for λ\lambda (since Poisson belongs to the exponential family), and U=X1X2U = X_1 X_2 is unbiased for λ2\lambda^2, so E(UT)E(U \mid T) is the UMVUE. To compute E(X1X2T=t)E(X_1 X_2 \mid T = t), use the fact that given T=tT = t, the vector (X1,,Xn)(X_1, \ldots, X_n) follows a multinomial distribution with parameters tt and equal probabilities 1/n1/n. Therefore: E(X1X2T=t)=E[X1(X11)+X1T=t]E(X_1 X_2 \mid T = t) = E[X_1(X_1-1) + X_1 \mid T=t] Wait — more directly: since E(X12T=t)=Var(X1T)+[E(X1T)]2E(X_1^2 \mid T=t) = \text{Var}(X_1\mid T) + [E(X_1\mid T)]^2, use the multinomial result that E(XiXjT=t)=t(t1)n2E(X_i X_j \mid T = t) = \frac{t(t-1)}{n^2} for iji \neq j. This follows because each pair draw is without-replacement-style: P(X11,X21T=t)t(t1)P(X_1 \geq 1, X_2 \geq 1 \mid T = t) \propto t(t-1) selections across n2n^2 ordered slots. The result is T(T1)n2\frac{T(T-1)}{n^2}, confirming C. A uses n(n1)n(n-1) in the denominator — a tempting combinatorial normalization, but incorrect; the denominator should be n2n^2 reflecting two independent draws each with probability 1/n1/n. B gives T2/n2T^2/n^2, which would be correct only if X1X_1 and X2X_2 were independent given TT, but they're negatively correlated conditionally. D adds an ad hoc correction term with no probabilistic justification. Your study tip: memorize that conditional on T=tT = t for i.i.d. Poissons, E(XiXjT)=T(T1)n2E(X_i X_j \mid T) = \frac{T(T-1)}{n^2} for iji \neq j — this exact calculation appears frequently in UMVUE derivations.

Question 9

Let UU be an unbiased estimator with finite variance, and let TT be sufficient. Suppose Pθ{Varθ(UT)>0}>0P_\theta\{\operatorname{Var}_\theta(U\mid T)>0\}>0 for every θ\theta. What follows about the Rao–Blackwell estimator Eθ(UT)E_\theta(U\mid T)?

  1. It is necessarily the UMVUE even if TT is not complete.
  2. It has the same variance as UU because both estimators are unbiased.
  3. It has strictly smaller bias but may have larger variance than UU.
  4. It has strictly smaller variance than UU for every θ\theta. (correct answer)
Explanation: Whenever you encounter a Rao–Blackwell question, your anchor should be the law of total variance: for any random variables XX and YY, Var(X)=E[Var(XY)]+Var(E[XY]).\operatorname{Var}(X) = E[\operatorname{Var}(X \mid Y)] + \operatorname{Var}(E[X \mid Y]). This identity is the engine behind everything here. Let U~=Eθ(UT)\tilde{U} = E_\theta(U \mid T) be the Rao–Blackwell estimator. Applying the law of total variance to UU conditioned on TT: Varθ(U)=Eθ[Varθ(UT)]+Varθ(U~).\operatorname{Var}_\theta(U) = E_\theta[\operatorname{Var}_\theta(U \mid T)] + \operatorname{Var}_\theta(\tilde{U}). Rearranging, Varθ(U~)=Varθ(U)Eθ[Varθ(UT)].\operatorname{Var}_\theta(\tilde{U}) = \operatorname{Var}_\theta(U) - E_\theta[\operatorname{Var}_\theta(U \mid T)]. The condition Pθ{Varθ(UT)>0}>0P_\theta\{\operatorname{Var}_\theta(U \mid T) > 0\} > 0 guarantees that Eθ[Varθ(UT)]>0E_\theta[\operatorname{Var}_\theta(U \mid T)] > 0 for every θ\theta, so Varθ(U~)<Varθ(U)\operatorname{Var}_\theta(\tilde{U}) < \operatorname{Var}_\theta(U) strictly, confirming D. A is wrong because without completeness of TT, you cannot guarantee uniqueness or optimality — Rao–Blackwell improves variance, but UMVUE status requires the Lehmann–Scheffé theorem and a complete sufficient statistic. B confuses unbiasedness with equal variance; both estimators are indeed unbiased (since Eθ[U~]=Eθ[U]E_\theta[\tilde{U}] = E_\theta[U] by the tower property), but unbiasedness says nothing about variance equality. C is doubly wrong: Rao–Blackwellization preserves unbiasedness so bias does not change, and as shown, variance strictly decreases, not increases. Study tip: Memorize the law of total variance as your go-to tool for Rao–Blackwell problems — the improvement in variance is always exactly Eθ[Varθ(UT)]E_\theta[\operatorname{Var}_\theta(U \mid T)], which is positive precisely when UU is not already a function of TT.

Question 10

Let X1,,XnX_1,\ldots,X_n be independent Poisson random variables with common mean λ\lambda, where n2n\ge 2. The estimator U=1{X1=0}U=\mathbf{1}\{X_1=0\} is unbiased for eλe^{-\lambda}. If T=i=1nXiT=\sum_{i=1}^n X_i, which estimator is the Rao–Blackwell improvement of UU and hence the UMVUE of eλe^{-\lambda}?

  1. (11n)T\left(1-\frac{1}{n}\right)^T (correct answer)
  2. (11n)T/n\left(1-\frac{1}{n}\right)^{T/n}
  3. 1{T=0}\mathbf{1}\{T=0\}
  4. exp(Tn)\exp\left(-\frac{T}{n}\right)
Explanation: When you see a question involving unbiased estimation and a sufficient statistic, your immediate instinct should be to apply the Rao–Blackwell theorem: condition the unbiased estimator UU on the complete sufficient statistic TT to obtain the UMVUE. Here, T=i=1nXiPoisson(nλ)T = \sum_{i=1}^n X_i \sim \text{Poisson}(n\lambda) is complete sufficient for λ\lambda. You need to compute E[UT]=E[1{X1=0}T=t]E[U \mid T] = E[\mathbf{1}\{X_1 = 0\} \mid T = t], which equals P(X1=0T=t)P(X_1 = 0 \mid T = t). Since T=tT = t distributes the total count among nn Poisson variables, this conditional distribution is Binomial(t,1/n)(t, 1/n), so: P(X1=0T=t)=(11n)tP(X_1 = 0 \mid T = t) = \left(1 - \frac{1}{n}\right)^t Replacing tt with TT gives the Rao–Blackwell estimator (11n)T\left(1-\frac{1}{n}\right)^T, which is answer A. Since TT is complete sufficient, this is automatically the UMVUE. Answer B, (11n)T/n\left(1-\frac{1}{n}\right)^{T/n}, incorrectly divides the exponent by nn — a tempting but unjustified modification. Answer C, 1{T=0}\mathbf{1}\{T=0\}, is unbiased for enλe^{-n\lambda}, not eλe^{-\lambda}, so it estimates the wrong quantity entirely. Answer D, exp(T/n)\exp(-T/n), is a natural plug-in estimator (replacing λ\lambda with Xˉ\bar{X}), but it is biasedE[eXˉ]eλE[e^{-\bar{X}}] \neq e^{-\lambda} by Jensen's inequality. Your study tip: always derive the conditional probability explicitly rather than guessing the form. The binomial conditional distribution of X1TX_1 \mid T is a standard result you should have memorized for Poisson problems.