dyskretna Bartek: Pokaż, że podany warunek są niezmiennikami pętli "dopóki n≥1 {m=2m; n=3n; }. warunek a) n²≥m³ Dla n=0 i m=0 tzn. przed pętlą warunek jest spełniony, bo 0≥0; Nie wiem jednak jak wykazać to, co jest po pętli. Oczywiście chodzi o dowodzenie niezmiennika pętli. Ma ktoś jakiś pomysł?

Bartek: Sory, przejęzyczyłem się. Pokaż, że podany warunek JEST NIEZMIENNIKIEM pętli...dalej jak wyżej>

Bartek: No to odświeżam.