What happens if the lump sum retirement benefit is not used?