Section 17.5 Reflection
Having no knowledge on using debugger, I have failed to analyze what went wrong in the progress of handling the case for \(a=b\text{.}\) This is probably due to its non-complex and brute force nature where it still inherits some characteristic for checking all possible colouring of the integers, which in this case is checking all possibility for integers not having a monochromatic set.
In the end, I want to acknowledge again the help from Dr. Aaron Robertson, this project couldn't have finish with out his help.