水戸会議。朝、不等式から。おぉ、明快な反例だなぁ。。（が、その出発点で使う式とかにピントがあわず、おたおた。）とすると、over-damped の場合がよくわからないが、ともかくいけるらしい。皆さんがover-damped の場合のつめを議論しているのを傍目に、…