[Verse 1]
Picture a path that's smooth and whole
From negative depths to positive goal
A function that flows without a break
Must cross through zero for math's sake
No teleporting allowed here
The real line's complete, crystal clear
[Chorus]
Intermediate Value says it's true
Continuous functions can't jump through
From below to above, there's always a place
Where zero shows its hidden face
Bisect and narrow, find the spot
Completeness of reals connects the dot
[Verse 2]
Start with a where f is less than zero
Find a b where f's our hero
Positive values on the right
Negative left, but here's insight
Between these points lives our answer
Zero crossing, math's romancer
[Chorus]
Intermediate Value says it's true
Continuous functions can't jump through
From below to above, there's always a place
Where zero shows its hidden face
Bisect and narrow, find the spot
Completeness of reals connects the dot
[Bridge]
In rationals this breaks apart
Gaps exist to stop the heart
But real numbers fill each space
No holes for functions to embrace
This theorem shows what's really there
Completeness beyond compare
[Verse 3]
Take the middle, check the sign
Halve the interval, refine
Nested pieces getting small
Converging to the answer's call
Bisection method leads the way
To where our zero loves to stay
[Chorus]
Intermediate Value says it's true
Continuous functions can't jump through
From below to above, there's always a place
Where zero shows its hidden face
Bisect and narrow, find the spot
Completeness of reals connects the dot
[Outro]
From Brouwer's theorems to degree
Topology's connectivity
This simple truth will grow and spread
Through all the math that lies ahead
No gaps to jump, no way to hide
Continuous functions can't divide