Computer Scientists Prove Why Bigger Neural Networks Do Better