[thehappypm]

Sure, but doesn’t that weaken the proof? It is an arbitrary restriction on the function that is required

[mannerheim]

Barely? It proves it for the principal root, and you can trivially prove it for the negative root using the principal root's irrationality.