ラマヌジャンは発見的方法を使ってたのだろう
論理的に完全ではないが、ほとんどの場合は正しい結論に導く超効率的思考法みたいな
オイラーや佐藤幹夫もそんな感じ