Seja S um conjunto defino (n natural) S(n+1)=S(n)-{max S(n)} S(0)=S
(se S(n) possui máximo) [prestar atenção nessa condição] Se existe n, tal que s(n)=vazio então n é finito e tem n elementos? e se um conjunto é finito vale a propriedade acima? (relaçao de se e somente se). ========================================================================= Instruções para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~obmlistas/obm-l.html =========================================================================