With some effort and interval arithmetic you can convert it into a proper proof (you just tweak the proof of convergence of Newton : if you are at a point x where F is small enough, F’ is inversible and F’’ is bounded in a ball around x, then there is a solution close to x). Agreed it’s a silly question though 
1 Like