51�Թ�

the theorem that for a real-valued function f whose domain is a compact set, there is at least one element x in the domain of f for which f (x ) achieves its largest value.