A Tight Theory of Error Feedback Algorithms in Distributed Optimization — ThinkLLM