Rigorous diffusion properties for the sawtooth map