朝、ノートに赤入れ。抜けているのをうめて、論旨のダブりをとる。結果だけでなく説明も美しくなったので間違いないだろう。基本的に使うのは、次のふたつ。(1) Hatano-Sasa 等式からの不等式、および、その等式成立要件 (2)Speck-Seifeld によるhouse-keepi…