lower semi-continuous