In 1976, Lai constructed a nontrivial confidence sequence for the mean $\mu$ of a Gaussian distribution with unknown variance $\sigma^2$. Curiously, he employed both an improper (right Haar) mixture over $\sigma$ and an improper (flat) mixture over $\mu$. Here, we elaborate carefully on the details of his construction, which use generalized nonintegrable martingales and an extended Ville's inequality. While this does yield a sequential t-test, it does not yield an "e-process" (due to the nonintegrability of his martingale). In this paper, we develop two new e-processes and confidence sequences for the same setting: one is a test martingale in a reduced filtration, while the other is an e-process in the canonical data filtration. These are respectively obtained by swapping Lai's flat mixture for a Gaussian mixture, and swapping the right Haar mixture over $\sigma$ with the maximum likelihood estimate under the null, as done in universal inference. We also analyze the width of resulting confidence sequences, which have a curious polynomial dependence on the error probability $\alpha$ that we prove to be not only unavoidable, but (for universal inference) even better than the classical fixed-sample t-test. Numerical experiments are provided along the way to compare and contrast the various approaches, including some recent suboptimal ones.

翻译：1976年，Lai针对方差未知的高斯分布均值$\mu$构造了一个非平凡的置信序列。有趣的是，他同时使用了$\sigma$上的非正常（右哈尔）混合与$\mu$上的非正常（平坦）混合。本文详细阐述了他的构造细节，其中涉及广义不可积鞅和扩展的Ville不等式。尽管该方法确实给出了序贯t检验，但由于其鞅的不可积性，并未生成"e过程"。针对相同设定，本文开发了两种新的e过程和置信序列：一种是在简化滤子下的测试鞅，另一种是标准数据滤子下的e过程。前者通过将Lai的平坦混合替换为高斯混合获得，后者则借鉴通用推断方法，将$\sigma$上的右哈尔混合替换为零假设下的最大似然估计。我们还分析了所得置信序列的宽度，发现其与误差概率$\alpha$存在奇特的非线性依赖关系——我们证明这种依赖不仅不可避免，而且（对于通用推断而言）甚至优于经典固定样本t检验。文中同步提供了数值实验，对包括近期次优方法在内的多种方法进行了比较分析。