### 问题描述 给定一个长度为 $n$ 的数组 $a$，数组中的元素分别是 $a_1 \sim a_n$。数组中的每一个元素都有一个美丽值。 美丽值的定义如下：假设当前元素为 $a_i$，该元素位置左侧第一个严格小于 $a_i$ 的元素的值为 $x$，如果不存在则 $x = 0$，该元素右侧第一个严格大于 $a_i$ 的元素值为 $y$，如果不存在则 $y = 0$，$a_i$ 的美丽值定义为 $x * y$。 给定一个整数 $m$，如果数组 $a$ 所有元素的美丽值之和至少为 $m$，那么整个数组是优美的，否则不是。 ### 输入格式 第一行包含两个正整数 $n,m$，其含义如上所述。 第二行包含 $n$ 个正整数 $a_1 \sim a_n$，表示数组中的每一个元素。 ### 输出格式 输出仅包含 $1$ 行，如果整个数组是优美的，则输出 `YES`，否则输出 `NO`。 ### 样例输入 ```text 5 10 1 2 3 4 5 ``` ### 样例输出 ```text YES ``` ### 说明 在样例中，第一个元素的美丽值为 $0$，第二个元素的美丽值为 $1 * 3 = 3$，第三个元素的美丽值为 $2 * 4 = 8$，第四个元素的美丽值为 $3 * 5 =15$，第五个元素的美丽值为 $0$。因此总美丽值为 $26$，大于给定的 $m$ 的值，因此答案为 `YES`。 ### 评测数据规模 对于 $100$% 的评测数据，$1 \leq n \leq 10^5$，$1 \leq a_i \leq 10^6$，$1 \leq m \leq 10^{18}$。