Assuring optimality in surrogate‐based optimization: A novel theorem and its practical implementation in pressure swing adsorption optimization | Synapse