Talagrand concentration inequality for certifiable functions (source code)

= Talagrand concentration inequality for certifiable functions
{c}

This is an application of <Talagrand's concentration inequality> to <certifiable functions>. Talagrand's product-space inequality gives sub-Gaussian-type concentration for a <bounded differences property>[bounded-differences], <certifiable function>, with a variance scale controlled by the certificate size.