Rigorous sum rules and bounds on pion-pion scattering amplitudes with positivity