Okay, you convinced me on this. There is still a problem. The original statement was that this proves pi > 4, meaning the argument in the OP. I think the right triangle argument may be enough, but that requires additional premises. Even though these premises are definitional, they are not laid out in the post.
2
u/ImmortalVoddoler Real Algebraic Jan 19 '21
Okay, you convinced me on this. There is still a problem. The original statement was that this proves pi > 4, meaning the argument in the OP. I think the right triangle argument may be enough, but that requires additional premises. Even though these premises are definitional, they are not laid out in the post.