AT_arc117_b.[ARC117B] ARC Wrecker

AtCoder 街道上建有 $N$ 栋大楼。最初，从左到右第 $i$ 栋大楼有 $A_i$ 层。

ARC 拆迁公司的社长高桥君可以进行如下操作任意多次，也可以一次都不进行：

• 任选一个正整数 $X$，从第 $X$ 层高度发射大炮。此时，所有当前高度不少于 $X$ 层的大楼，其层数都会减少 $1$。

请计算最终可能出现的不同大楼景观的数量，并将结果对 $10^{9} + 7$ 取模后输出。

这里，若存在某个 $i$，使得景观 A 的第 $i$ 栋大楼高度 $P_i$ 与景观 B 的第 $i$ 栋大楼高度 $Q_i$ 不同，则认为景观 A 和景观 B 是不同的。

输入以如下格式从标准输入给出：

$N$ $A_1$ $A_2$ $\cdots$ $A_N$

请输出答案。

限制条件

• $1 \leq N \leq 100000$
• $1 \leq A_i \leq 10^{9}$
• 输入均为整数

样例解释 1

操作后可能出现的大楼高度有如下 $4$ 种情况：

• （大楼 $1$ 的层数, 大楼 $2$ 的层数）= $(0, 0)$
• （大楼 $1$ 的层数, 大楼 $2$ 的层数）= $(0, 1)$
• （大楼 $1$ 的层数, 大楼 $2$ 的层数）= $(1, 1)$
• （大楼 $1$ 的层数, 大楼 $2$ 的层数）= $(1, 2)$

样例解释 3

一共可能有 $20192492160000$ 种景观，将其对 $10^{9} + 7$ 取模后，输出 $492018656$ 即为正确答案。

由 ChatGPT 4.1 翻译