Talk:Estimation lemma

I will write the proof soon if someone else does not. It relies on partitions and I'm not sure how rigorous a proof is suitable for wikipedia.