Definition:Limit from Right