we're all just pretending we understand epsilon delta of limits right?
@finkuman it's just range of input -> range of output. the epsilon getting smaller. if that goes to infinity and there's still valid output. then there's a limit. it's edging but formal math
@mustafasegf @finkuman basically it's saying we can get close as close as we want
@langlerangle @mustafasegf yeah i got the gist, just working through the formal def (i think it’s clicking now that ive stared into a wall lmao) thanks oomfs
@finkuman @mustafasegf it do be like that, coba formalisasiin pake lean, kemarin aku harus gitu dulu baru ngeklik
@finkuman @mustafasegf specifically, by doing that I realized that a for all statement is just like a function, aku bisa masukin epsilon buat dapetin nilai delta
@langlerangle @finkuman @mustafasegf apa saatnya belajar lean 😋