どうでもいいが
> tsの分母が任意の正整数の値を取る場合に、(D)式が成立しなければならないので矛盾になる。
のあたりに、いつもの「不定だから…」と同じ論法の臭いがぷんぷんする

今回のも大概めちゃくちゃの駄文やね