[obm-l] Indução finita

[Guilherme Neves]

Provar que 2^n >=n^2 -1

========================================================================= Instruções para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html =========================================================================