[일반] 바젤 문제 오일러 증명 질문

[익명(182.222)]

sin함수를 테일러 전개한 거랑 일차식 곱?으로 나타낸 거 x^3 계수 비교하는 게 오일러의 증명이잖아

근데 초월함수를 일차식의 무한곱으로 나타내는 게 정당하다는 건 어떻게 보장하는거임?

[익명(110.70)]

엄밀한 증명을 통해 보장함

[익명(182.222)]

아 그럼 오일러의 증명은 엄밀하지는 못한거임?

[익명(119.56)]

현대관점에서는 엄밀하지 못함

[익명(125.129)]

궁금해서 찾아봤는데 CMU 강의자료에 나옴 (
https://www.math.cmu.edu/~bwsulliv/basel-problem.pdf)
결론은 윗댓 말대로 복소해석이 나오기 전까지는 엄밀한 증명이 아니었대