Seed bounds based on powers of 3

Here is the first section of a draft about bounds on cycles. Any feedback would be appreciated.