执行如图所示的程序框图，如果输出 $s = 3$，那么判断框内应填入的条件是（ ）

\begin{answer} B \end{answer}

\begin{solution} 每次循环先将当前的 $k$ 代入并更新 $s$，再令 $k$ 增加 $1$. 若最后一次参与乘积的 $k$ 为 $n$，则 输出 $s=3$，所以 $\log_2(n+1)=3$，$n+1=8$，$n=7$. 此时最后一次更新后 $k=8$，判断框应在 $k\leqslant7$ 时继续循环，在 $k=8$ 时停止. 因此应填 $k\leqslant7$，故选 B. \end{solution}