Reduced inequalities for vector-valued functions | Synapse