我们要检验的是“是否虚假”，即想证明“寿命 < 1000”。根据假设检验规则，想要证明的命题（有方向性的怀疑）通常放在备择假设 H_1 中。因此 H_1: μ < 1000，对应的 H_0 为其补集 μ≥ 1000。这是一个左单侧检验。