typo with limit notation