お題:
正整数 N が与えられます
f(x) = 正整数 a, b であって 0 < a / b < 1 かつ b ≦ x を満たす a / b の「値の種類数」
としたとき f(x) = N を満たす x が存在するか判定しなさい

制約:
1 ≦ N ≦ 10^12

入力: N
出力: x が存在するのなら "Yes", 存在しないのなら "No"

入力例 1: 11
出力例 1: Yes (f(6) = 11 です)

入力例 2: 123
出力例 2: No

入力例 3: 303963552391
出力例 3: Yes (f(1000000) = 303963552391 です)
f(x) の例
f(1) = 0
f(2) = 1
f(3) = 3
f(4) = 5
f(5) = 9
...