>>848
Explicit Estimatesで組 (a, b, c) の個数やらcの上限が評価できるなら
その結果ついて具体的なεで反例があるかどうかチェックしたかね?
反例が見つかっていないから正しい、とはいえないが
少なくともその程度はやってほしいね