一非線性規劃問題的全域最佳解之充分條件