A proof of convergence for gradient descent in the training of artificial neural networks for constant target functions | DocHero AI - Best paraphrasing and translation tool for academic and professional writing