Upper bound theorem (source code)

= Upper bound theorem
{wiki=Upper_bound_theorem}