may help: evaluate prod_{n=1}^infty bigl(1 + frac1{n^2} + frac1{n^4}bigr), from math.se

上面打错了 QAQ 目前还没有修改功能。我好想有点头绪了，用 frac{pi^2}{6}=1+dfrac{1}{2^2}+dfrac{1}{3^2}+cdots 合起来搞搞应该就能看见胜利的曙光。

我感觉可以直观理解一下…… sinh x = x + dfrac{x^3}{3} + dfrac{x^5}{5} + cdots 好吧直观理解不了……无法把里面 pi 的高次项消掉。

不会做 |_・)( ＿ ＿)ノ｜壁

卧槽，Mathematica 算出来是 dfrac{sinhpi}{pi}！

看这个帖子有感——PyTorch 有哪些坑/bug？——不知道类型系统能不能帮助。

那应该是markdown太垃圾了。我们换个渲染器吧。 或者改下源码重新编译个markdown吧。

你的姿势可能不对…… * 被 markdown 转换成 _ 了…… DeclareMathOperator{Set}{Set} eclareMathOperator{where}{where} eclareMathOperator{proof}{proof} eclareMathOperator{data}{data} eclareMathOperator{rev}{rev} eclareMathOperator{ff}{ff} eclareMathOperator{lemma}{lemma} eclareMathOperator{intro}{intro} eclareMathOperator{id}{id} eclareMathOperator{refl}{refl} eclareMathOperator{params}{params} eclareMathOperator{Vec}{Vec} eclareMathOperator{rewrite}{rewrite} eclareMathOperator{with}{with} eclareMathOperator{lhs}{lhs} eclareMathOperator{rhs}{rhs} eclareMathOperator{xs}{xs} begin{align} amp; data F : Bbb{N} rightarrow Set where amp; ff : (n : Bbb{N}) rightarrow F n

amp; proof _0 : {n : Bbb{N}} rightarrow F n rightarrow F n rightarrow F n amp; proof _0 (ff n) (ff {.}n) = ff n nd{align}

谢谢虎哥 虎哥 人间的真男人 虎哥 我的偶像

虎哥，这个社区的槽点让我想虎哥化了。