Let . Let be the set of all strict local maximum of . Can be uncountable?
- A strict local maximum is a value such that there exists a neighborhood of where for all , . A constant function has no strict local maximum, because ; just being equal is not enough.
- A set is uncountable if there is no injection from it to the natural numbers. In other words, its elements cannot be listed exhaustively in a sequence .