编程题
### 问题描述
小桥是一个年轻的音乐家,他的音乐充满了活力和创新。他的音乐包含了许多连续的音符,形成了一个从 $1$ 到 $n$ 的整数序列。每一个音符都是独一无二的,它们组成的序列被称为音乐谱。
小桥有一个特殊的习惯,他喜欢在音乐谱中创造出“峰值”以增添音乐的动感。在这个音乐谱中,如果一个音符的前一个音符和后一个音符都比它小,那么我们就称这个音符为“峰值”。
有一天,小桥的朋友妮妮给了他一个挑战,她给出两个数 $n$ 和 $k$ ,希望小桥能够构造一个长度为 $n$ 的音乐谱,其中恰好有 $k$ 个“峰值”。如果小桥不能完成这个挑战,那么他就需要向妮妮道歉,并且在音乐谱上写下 `No`,反之输出 `Yes`。
你能帮助小桥完成这个挑战吗?
### 输入格式
一行包含两个用空格隔开的整数 $n$ 和 $k$($1 ≤ n ≤ 10^5$,$0 ≤ k ≤ n$),分别代表音乐谱的长度和要求的“峰值”数量。
### 输出格式
一行一个字符串,如果无法构造出满足条件的音乐谱,那么输出 `No`。反之,输出 `Yes`。
### 样例输入
```text
5 2
```
### 样例输出
```text
Yes
```