If every chain in a poset has an upper bound, then the poset contains at least one maximal element.