lower semicontinuous