A Formulation of Recursive Self-Improvement and Its Possible Efficiency