注意力计算器（连分数版）
请输入要证明的式子
当前支持常见表达式的不等式比较，例如 等。请尽量规范输入公式。
支持的表达式
常数 pi、e、phi、gamma（欧拉常数）、catalan；整数、小数、分数；四则运算、幂与嵌套函数。
sqrt · cbrt · root · exp · log/ln · sin · cos · tan · cot · asin · acos · atan · acot · sinh · cosh · tanh · abs · gamma(x) · zeta · erf · floor · ceil
log(x) 表示自然对数，log(x,b) 表示以 b 为底的对数；三角函数使用弧度。仅比较有限实数常量，不含自由变量。