계산이 너무 복잡해서 도저히 손으로 할 수가 없다.

이럴 때 sagemath 에 넣어주면 엄청난 스피드로 지가 알아서 다 계산을 하는데..

더하고 곱하고 빼고 그런거야 뭔가 복잡한 수식이 display되면 막막해도 걍 그렇구나 하는데,

lim x->0 같은 결과는 마치 신내림처럼 떡하니 결과만 덜렁 나오는데 이것도 보통 수학계에선 증명되었다고 인정해주나?