Rigorous learning curve bounds from statistical mechanics | Synapse