One difficulty with this approach is that it doesn't help disproving the existence of cycles, it only makes it less likely that the sequence diverges to infinity.
This approach, like every other approaches, did not yield any significant result.
The funny thing is that it fits right in the P=NP problem: easy to verify, hard to solve :)