はてなブログでTeX記法が使えるみたいなので練習に www.imojp.org として より さらにとして として よって さらにから これを繰り返し適用するとなのでに代入し したがって なのでありえるのは常にとなる場合だけ が与式を満たすのは代入すれば明らかなので…