Comprovação da desigualdade de meios aritméticos e geométricos