A One-Sentence Line-of-Sight Proof of the Extreme Value Theorem

Samuel J. Ferguson

REVIEW

A One-Sentence Line-of-Sight Proof of the Extreme Value Theorem

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1811.00877 v1 pith:BWBIFGRX submitted 2018-11-04 math.HO math.CA

Samuel J. Ferguson This is my paper · ORCID

classification math.HOmath.CA

keywords maximumvaluelookoutone-sentenceproofattainsboundedclosed

verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments

read the original abstract

We give a one-sentence proof that a continuous real-valued function f on a closed, bounded interval attains a maximum value, by the following device. We define x in [a, b] to be a lookout point if f(t) does not exceed f(x) whenever t lies in [a, x). Letting c be the maximum of the set of lookout points, we prove that f(c) is the maximum value of f.

Discussion (0). Continue with ORCID to comment.

Pith tools