미적분 예제

$0 = 2 \tan (\frac{π}{3})$

단계 1

좌변 $0$ 이 우변 $3.46410161$ 와 같지 않으므로, 주어진 명제는 거짓입니다.

거짓

$[\begin{array}{c} x^{2} & \frac{1}{2} \\ \sqrt{π} & \int x d x \end{array}]$