1/4^a+1/4^b≥2√[(1/4^a﹚﹙1/4^b)]=(1/2﹚^﹙a+b-1）
∴log1/2(1/4^a+1/4^b)≤a+b-1