B. Типы данных
ограничение по времени на тест
2 seconds
ограничение по памяти на тест
256 megabytes
ввод
stdin
вывод
stdout

Туфтуф, младший брат Таттаха, недавно начал изучать программирование. Его старший брат — очень хороший программист, и заветная мечта Туфтуфа — перегнать его. Будучи студентом в GUC Туфтуф учится писать программы на языке Gava. Сегодня Туфтуф познакомился с беззнаковыми целыми типами данных.

В языке Gava есть n беззнаковых целых типов данных. Их размеры (в битах): a1, a2, ... an. Тип данных номер i имеет размер ai бит, то есть в него помещается любое число от 0 до 2ai - 1 включительно.

Туфтуф думает начать изучать другой язык программирования вместо Gava. Он решил, что бросит Gava, если выяснится, что существует такое целое число x, что x помещается в тип iai бит), но при этом x·x не помещается в другой тип jaj бит), такой что ai < aj.

Зная все ai определите, бросит ли Туфтуф изучать Gava.

Входные данные

В первой строке записано целое число n (2 ≤ n ≤ 105) — количество беззнаковых целых типов в языке Gava. На второй строке через пробел записано n целых чисел ai (1 ≤ ai ≤ 109) — размеры типов в битах. Размеры некоторых типов данных могут совпадать.

Выходные данные

Выведите «YES» если Туфтуф бросит Gava и «NO» в противном случае.

Примеры
Входные данные
3
64 16 32
Выходные данные
NO
Входные данные
4
4 2 1 3
Выходные данные
YES
Примечание

Во втором примере x = 7 (1112) помещается в 3 бита, но x2 = 49 (1100012) не помещается в 4 бита.