Summarizing the answers to this thread’s original question, and taking into account these posts …
k = cycle length
x = number of odd terms
-
For general integer cycles … k < \lceil x \log_2 3 \rceil + \log_2 x.
-
For flat integer cycles (ratio of largest member to smallest member <7) … k = \lceil x \log_2 3 \rceil.
-
For general rational cycles (with all members >1) … k < 2x.
-
For rational circuits (with all members >1) … k = \lceil x \log_2 3 \rceil.