Disprove that quotients of bounded functions stay bounded

[Chessing234]

Summary

• BddOn.div is false: on (0,1), constant 1 and identity are bounded with non-zero denominator, but 1/x is unbounded.

Test plan

• CI / lake build Analysis/Section_9_6.lean

[teorth]

Closing this one under the repository's solutions policy — see the consolidated note on #667 for the full explanation and for what would be most welcome instead.

Briefly: this PR discharges sorrys that are reader exercises in Analysis I, and removes the accompanying hint comment ("the first line of this construction should be either apply isTrue or apply isFalse"). From the README:

Portions of the text that were left as exercises to the reader are rendered in this translation as sorrys. Readers are welcome to fork the repository here to try their hand at these exercises, but I do not intend to place solutions in this repository directly.

Nothing wrong with the mathematics here — this is purely about what belongs in the main repository.