おっすオラオカルトマニア！
IUT的なABC予想っぽい証明できたから置いとく
https://ideone.com/etIbm1

自明じゃない不等式は俺には構成できなかった、無限の演算が必要になるから
あとは本家待ちだわ！さすがに本家はこれよりずっとマシなものが出来上がってくると祈ってる