Sequential Informed Federated Unlearning: Efficient and Provable Client Unlearning in Federated Optimization