[Verse 1] Take a sequence wild and reckless, bouncing through the number line Every term is safely bounded, trapped between two walls divine Though it dances without pattern, never finds a place to rest Hidden order waits within it, convergence at its best [Chorus] Halve the interval, find the crowd Infinitely many, singing loud Bisect again, the space grows tight Nested boxes hold the light Bounded chaos, secret friend Subsequences must transcend Real completeness shows its face Every sequence finds its place [Verse 2] Start with endpoints alpha, beta, slice them down the middle clean One half holds infinity, the other might be lean Pick the side that's overcrowded, mark it as your chosen ground Halve again and keep dividing, convergent gold is found [Chorus] Halve the interval, find the crowd Infinitely many, singing loud Bisect again, the space grows tight Nested boxes hold the light Bounded chaos, secret friend Subsequences must transcend Real completeness shows its face Every sequence finds its place [Bridge] Pigeonhole principle guides us, two boxes can't both be sparse When infinity needs housing, one container bears the farce Intervals nest like Russian dolls, shrinking toward a single dot Rationals would leave us hanging, but reals complete the plot [Verse 3] Every bounded set of numbers hides a clustering parade Points must gather, points must huddle, limits cannot be delayed From this truth springs compactness, Heine-Borel takes the stage Binary search and root-finding, wisdom spanning every age [Chorus] Halve the interval, find the crowd Infinitely many, singing loud Bisect again, the space grows tight Nested boxes hold the light Bounded chaos, secret friend Subsequences must transcend Real completeness shows its face Every sequence finds its place [Outro] In the wildest mathematical storm Order sleeps in hidden form Bolzano-Weierstrass reveals What completeness truly seals
← Gödel's First Incompleteness Theorem | Banach Fixed Point Theorem →