So my lecturer proved the Cauchy criterion for function limits, however I found his proof to be very long, he did it with Heine (function convergence with sequence) instead I wrote my own version of the proof , however I don't know if it is correct, I would appreciate if someone can verify this proof, thank you!