Lerix space bound