>>407
logxの凸性から
log(|a|^p/p+|b|^q/q)≧(1/p)log|a|^p+(1/q)log|q|^q=log|pq|