stroniken: inducció y descens

martes, 28 de abril de 2020

[∀n][ n€N ==> ( 1 [< n & n [< oo ) ]

[∀n][ n€N ==> ( 1 >] (1/n) & (1/n) >] (1/oo) ) ]