Comment by kazinator

The problem is that the sin and cos functions the proof relies on are embroiled with pi. It's not obvious whether or not that is a confounding issue or not.