📌 题目名称：遇见

🔍 题目描述

魔法大陆危机四伏，杨乐多在冒险旅途中发现一只可爱的魔法宠物被困在一座高台之上，正在焦急地呼救！

为了救出宠物，杨乐多决定亲手搭建一座完美楼梯爬上高台。但魔法大陆的地形特殊，楼梯的搭建必须满足一些规则，否则就会崩塌！

高台高度为 $n$，杨乐多必须搭建 $k$ 层楼梯。楼梯的每一层高度必须是一个正整数，记为 $a_1, a_2, \dots, a_k$，每层高度必须严格递增（即 $a_1 < a_2 < a_3 < \dots < a_k$），请问杨乐多是否可以搭建出一个高度恰好为 $n$ 的楼梯营救这一只可爱的魔法宠物

如果可以，请输出 Yes，否则输出 No。

当你成功营救这只可爱的魔法宠物之后，恭喜你获得了噜噜。

📥 输入格式

输入一行。

一行包含两个正整数 $n$ 和 $k$，表示高台的高度和最多允许使用的楼梯层数。

📥 输出格式

输出一行。

一行输出 Yes 或 No，表示是否存在一种满足条件的楼梯搭建方式。

输入样例

10 4

输出样例

Yes

🔍 样例解释

可以构造楼梯层高为：$1, 2, 3, 4$，总高度为 $10$，严格递增，共 $4$ 层，符合要求。

📊 数据范围

• 对于 $100\%$ 的数据保证：$1 \le n \le 10^9, 1 \le k \le 10^6$ 。