题目很简单：给一个长度为n的单调递增整形数组a。
问题是否存在 Lucky Number i ， 使a[i] == i 。
又见LuckyNumber
Input
多组测试数据 ，不超过 150 组
每组测试数据包含两行。
第一行输入 n (n <= 1e6)
第二行输出n个整数表示数组a 的元素，每两个元素之间以空格隔开。
每组测试数据包含两行。
第一行输入 n (n <= 1e6)
第二行输出n个整数表示数组a 的元素，每两个元素之间以空格隔开。
Output
若存在 ，输出 Yes ， 否则输出 No
每组测试数据占一行。
每组测试数据占一行。
Sample Input
4
-1 1 3 5
3
1 2 3
Sample Output
Yes
No
HINT
大家尝试用O（log n）的算法。