最弱事前条件