We study an optimal consumption, investment, life insurance, and retirement decision of an economic agent who has an option to retire early any time before the mandatory retirement date. We conduct a thorough theoretical analysis for the optimal retirement problem with general utility function...