А как доказать что решения не существует тогда?
Во-первых, заменить

на

(чтобы не путаться в буковках). Во-вторых, это выражение может иметь только один смысл -- предел конечных таких степенных цепочек при условии, что количество буковок стремится к бесконечности. Т.е., собственно, предел рекуррентной последовательности

с начальным условием

. Так вот и надо выяснить, при каких значениях

эта последовательность сходится и чему равняется максимальное значение её предела по всем допустимым значениям

. (В конце концов оказывается, что предел не может оказаться больше, чем

.)