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

 на 

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

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

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

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

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

.)