Twierdzenie o lokalnych geniuszach.
Trivial:
Dowód.
Udowodnij, twierdzenie:
∀m ∊ M ∃ ε > 0: ∀ m
0 ∊ U(m, ε): G(m
0) < G(m),
gdzie:
M to przeliczalny zbiór matematyków na świecie,
G to funkcja zwracająca liczbowo poziom geniuszu.
Wykaż, że twierdzenie to zachodzi tylko dla pewnych warunków początkowych.
Powodzenia.