Robin's theorem is well known consequence of RH. It was first proved by ramanujan in 1915,but rigorous proof was given by guy robin. It has to do something with divisor function.
"Divisor function - Wikipedia" https://en.m.wikipedia.org/wiki/Divisor_function
Coming to my question, I want to know until which number is this verified. Since no counter example is found until now, upto which number they found it to be true?
