Buscaremos un k>0 tal que S-k sea cota superior de A.