问题描述

是否有$2^n \\gt n^2$？

约束条件

• $n$是介于$1$和$10^9$之间（包括端点）的整数。

输入

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

$n$

输出

如果$2^n \\gt n^2$，则输出Yes；否则，输出No。

示例输入1

5

示例输出1

Yes

由于$2^5=32,\\ 5^2=25$，我们有$2^n \\gt n^2$，因此应输出Yes。

示例输入2

2

示例输出2

No

对于$n=2$，我们有$2^n=n^2=2^2$，所以$2^n \\gt n^2$不成立。因此，应输出No。

示例输入3

623947744

示例输出3

Yes