"a ve b pozitif gerçel sayılar ise (a+b)/2 ≥ √ab" (Aritmetik-Geometrik Ortalama Eşitsizliği) önermesinin doğrudan ispatı için aşağıdaki başlangıçlardan hangisi uygundur?
A) (√a - √b)² ≥ 0 olduğundan a - 2√ab + b ≥ 0
B) a ve b için örnek değerler verilir
C) (a+b)/2 < √ab olduğu varsayılıp çelişki aranır
D) Tüm pozitif sayılar için geçerli olduğu kabul edilir