← Limit sup and limit inf.