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.