f-Geyer:1992">1992</a>)</span>, <span class="citation">Geyer (<a href="#ref-Geyer:2011">2011</a>)</span>. Stan uses Geyer’s initial monotone sequence criterion. The effective sample size estimator is defined as</p>
<p><span class="math display">\[
\hat{N}_{\mathrm{eff}} = \frac{M \cdot N}{\hat{\tau}},
\]</span></p>
<p>where</p>
<p><span class="math display">\[
\hat{\tau} = 1 + 2 \sum_{t=1}^{2m+1} \hat{\rho}_t = -1 + 2 \sum_{t&#39;=0}^{m} \hat{P}_{t&#39;},
\]</span></p>
<p>where <span class="math inline">\