Živjo,
meni zgleda dokaz pravilen. Mogoče bo še bolj jasno, če argumentiraš, da lahko vsak posamezn člen v vsoti iz zadnje vrstice
$$\epsilon_1^2 + \lvert A \rvert \epsilon_1 + \lvert B \rvert \epsilon_1 $$
omejiš z $\epsilon/3$. Torej če delamo z $\epsilon_1 = \min ( \sqrt{\tfrac{\epsilon}{3}}, \tfrac{\epsilon}{3|A|}, \tfrac{\epsilon}{3|B|} )$ bo to res.
Lp Izak 