proste -ale jak to zrobić formalnie ? foxer: proste zadanko − potrzebny dowód formalny : kres dolny i górny takiego czegoś : c(n.k) = ¹_n+¹_k gdzie n.k należą do zbioru liczb naturalnych