Может ли множество `{1, 2, 3,..., 3000}` содержать подмножество из `2000` элементов, таких, что ни один из них не является удвоенным значением другого?