AT_abc153_b [ABC153B] Common Raccoon vs Monster

浣熊正在与怪物战斗。 怪物的体力为 $H$。 浣熊可以使用 $N$ 种必杀技，使用第 $i$ 种必杀技可以使怪物的体力减少 $A_i$。除了使用必杀技之外，没有其他方法可以减少怪物的体力。 只要怪物的体力降到 $0$ 或以下，浣熊就获胜。 如果浣熊能够在不重复使用同一种必杀技的情况下打败怪物，则输出 `Yes`，否则输出 `No`。

输入以如下格式从标准输入中给出。 > $H$ $N$ $A_1$ $A_2$ $...$ $A_N$

如果浣熊能够在不重复使用同一种必杀技的情况下打败怪物，则输出 `Yes`，否则输出 `No`。

## 限制条件 - $1 \leq H \leq 10^9$ - $1 \leq N \leq 10^5$ - $1 \leq A_i \leq 10^4$ - 输入中的所有值均为整数。 ## 样例解释 1 例如，使用第 $2$ 种和第 $3$ 种必杀技，可以使怪物的体力降到 $0$ 或以下。 由 ChatGPT 4.1 翻译