  Let $G(n)=\sigma (n)/(n \log \log n )$. Robin made hypothesis that
$G(n)<e^\gamma$ for all integer $n>5040$. If Robin hypothesis fails, there will
be a least counterexample. This article collects the requirements the least
counterexample should satisfy.
