>>176
ええそのとおりです。
�@のほうが強い不等式なんです。
�Aは�@から直接導かれる不等式で、�@より弱いンです。
�Aを満たさないものが�@を満たすわけがないンです。