ドライバー不等式は奥が深い