[isaacfrond]

More likely, wildly inaccurate outcomes will cause a re-examination of the cited theorems, which will probably flush out the bug.

By the way it is not clear to me, if the theorem was false or if only proof was wrong.

[eigenket]

The theorem was mostly correct. As stated it was false, but it was true for n >= 8. If you change some not very interesting constants it becomes true for all n. All you need change is the constants for n < 8.