Dowód Jarząbek i Zen64: Czy to z grubsza poprawny wywód: Wykazać że jeżeli a,b∊N ⋀ a≥3 ⋀b=a+1 to a^b >b^a Wywód: Niech a=n,zatem a^b=n(nⁿ) ⋀ b^a =(n+1)ⁿ

	n(nn)
Teraz na mocy tw Cauchego ciąg		jest rozbieżny (→∞)−szczególy pomijam
	(n+1)n

	n(nn)
Czyli na mocy kryterium d'Alemberta ciąg		jest rosnący−szczegóły pomijam
	(n+1)n

	n(nn)
Czyli można napisać lim		> 1
	(n+1)n

n→<3;∞) czyli a^b>b^a c,n,w ?