Hm, izgleda da imam grešku u rezonovanju, jer sam pisao u brzini. Prvo,

nije neutral za sabiranje, već upravo suprotno, svi konačni brojevi su neutrali za sabiranje za

. Drugo,

nije jedinstven po ovoj definiciji, jer

, pa ne mora da bude kontradikcija

(

može da bude beskonačnost „višeg reda“ u odnosu na

). Pre bi se „broj“

mogao shvatiti kao klasa ekvivalencije, nešto što se slično ponaša kao operacija „malo o“,

. A

ne mora da znači da je

, već samo da te dve funkcije pripadaju istoj klasi ekvivalencije.
Imajući to u vidu, da,

se formalno predstavlja ili nizovima ili funkcijama, a Hajne (ako se ne varam) je dokazao da je limes niza ekvivalentan limesu funkcije.
U suštini, u Analizi 1 se i ne proučava „broj

“, već ili „beskonačan interval“ ili „beskonačan limes“.
Prva godina MATF-a,
ej! 
Da me vidi neki profan sada...
