Indukcja ..
Knopo: 1. Udowodnić, że jeżeli A jest podzbiorem zbioru |N wszystkich liczb naturalnych takim, że :
(1) 2 ∊ A
(2) dla każdej liczby naturalnej n : jeśli n ∊ A, to n+2 ∊ A
to każda liczba naturalna parzysta należy do A.
Jak taki dowód formalnie zapisać ?
2. n! < ((n+1)n)/2
23 sty 19:36