合同じゃなくて定義の記号あるじゃないですか確認ですけど
f≡gはをfをgと定義するってことでg=fは意味しないと同時にg≡fとも意味しませんよね。
もう一つ質問なのですが数学的帰納法が正しいときはnが無限のときも正しいとは限りますか？