Towards Understanding Multi-Round Large Language Model Reasoning: Approximability, Learnability and Generalizability