Demuestre que para un entero arbitrario $ n > 16$ , existe el conjunto $ S$ que contiene $ n$ enteros positivos y tiene la siguiente propiedad: si el subconjunto $ A$ de $ S$ satisface para un arbitrario $ a,a'\in A, a\neq a', a + a'\notin S$ se cumple, entonces $ |A|\leq4\sqrt n.$