Comoq es un límite superior, tenemos (por la definición deA) esonx≤q para todos den∈N, ahí también(n+1)x≤q; i.e., Esto prueba nuestra última afirmación y demuestr...Comoq es un límite superior, tenemos (por la definición deA) esonx≤q para todos den∈N, ahí también(n+1)x≤q; i.e., Esto prueba nuestra última afirmación y demuestra quenoy∈F puede ser un derecho obligado deN( paray<n∈N), o un límite izquierdo deJ( paray>−m∈J).◻