形式化题意

给定数组 $b$，求满足以下条件的排列 $a$ （一个 $1$ 到 $n$ 的排列）的数量：

$1,$ 对所有位置 $i$，必须满足 $a_i\le b_i$

$2,$ 定义前缀最大值 $M_i=max(a_1,a_2 \dots a_n)$，则对所有 $2\le i \le n$，有 $0\le M_i-M_{i-1}\le 1$，即前缀最大值必须差值不能超过 $2$。