semicontinuity function