オリジナルスタンダードに掲載されてる略解は見ましたが、
わけ分かんない感じです(・ω・)ノ

まずy≦5とするとlog(5-2√6)≦x≦log(5+2√6)になるそうなんですけど
なんで(´ω｀)？
みたいな
最初からわからないんです、ごめんなさい…；