Over the whole rational orbit the quantisation bound says exactly that Re u is non-zero

Initializing...

Over the whole rational orbit the quantisation bound says exactly that Re u is non-zero · Prove2Me