The question asks to identify the statement that is always true for a sample of size $n \ (\ge 2)$ drawn without replacement from a finite population of size $N$ using an arbitrary sampling scheme.
Key Concepts:
This statement is a fundamental property of sampling with a fixed sample size. Let $I_i$ be the indicator variable for the inclusion of unit $i$ (1 if included, 0 otherwise). The inclusion probability is $\pi_i = P(I_i=1) = E[I_i]$. The total sample size $n$ is the sum of these indicator variables: $n = \sum_{i=1}^N I_i$. Using the linearity of expectation, the expected sample size is $E[n] = E[\sum_{i=1}^N I_i] = \sum_{i=1}^N E[I_i]$. Since $n$ is a fixed sample size, $E[n]=n$. Therefore, $n = \sum_{i=1}^N \pi_i$. This identity holds true for any sampling scheme that fixes the sample size at $n$.
This identity is not universally true for all arbitrary sampling schemes. While specific identities relating joint and individual inclusion probabilities exist, often in the context of variance estimation, this particular equation does not hold generally. It is known to be false for standard schemes like Simple Random Sampling Without Replacement (SRSWOR).
This statement claims that every possible pair of distinct units $(i, j)$ has a non-zero probability of being selected together. This is not necessarily true. Depending on the chosen sampling scheme (e.g., certain stratified or systematic designs), it might be possible that $\pi_{ij} = 0$ for some pairs $(i, j)$. Therefore, this statement is not always true.
This inequality is equivalent to stating $\pi_i \pi_j > \pi_{ij}$. In sampling without replacement, selections are generally dependent, meaning $\pi_{ij} \le \pi_i \pi_j$. However, the strict inequality ($>$) is not always guaranteed. Equality ($\pi_i \pi_j = \pi_{ij}$) can occur under certain conditions or specific sampling designs, making the statement not *always* true.
Based on the analysis, the property $\sum_{i=1}^N \pi_i = n$ is the only statement guaranteed to be true for any arbitrary sampling scheme with a fixed sample size $n$ drawn without replacement from a finite population.
Suppose there are $k$ strata of $N = kM$ units each with size $M$. Draw a sample of size $n_i$ with replacement from the $i^{\text{th}}$ stratum and denote by $\bar{y}_i$ the sample mean of the study variable selected in the $i^{\text{th}}$ stratum, $i = 1, 2, \dots, k$. Define
$$ \bar{y}_s = \frac{1}{k}\sum_{i=1}^k \bar{y}_i \text{ and } \bar{y}_w = \frac{\sum_{i=1}^k n_i \bar{y}_i}{n} $$
Which of the following is necessarily true?
Suppose there are $k$ groups each consisting of $N$ boys. We want to estimate the mean age $\mu$ of these $kN$ boys. Fix $1 < n < N$ and consider the following two sampling schemes.
I. Draw a simple random sample without replacement of size $kn$ out of all $kN$ boys.
II. From each of the $k$ groups draw a simple random sample with replacement of size $n$.
Let $\bar{Y}$ and $\bar{Y}_G$ be the respective sample mean ages for the two schemes. Which of the following are true?