Rozklikávací důkaz existence n-té odmocniny

Toto je prototyp důkazu, který jsem redukoval na úplné základy. Chtěl bych, aby existovala velká databáze takových matematických důkazů, kde všechna tvrzení by byla dokázána do takovéto úrovně detailu, tj. tak, že dostatečným rozkliknutím by i student střední školy byl schopen pochopit i ty nejkomplexnější důkazy.

A od doby, kdy jsem vytvořil tuto stránku, se tento důkaz stal mým oblíbeným důkazem z matematické analýzy.