what is the origin of the proof via peaks?

90 Views Asked by At

What is the history of the proof of the existence of a monotone subsequence via peaks as found for example here as well as in problem 6, page 4 here (where they are called "giants" instead of "peaks")? Is it known who discovered it first?