命题 “三个正数 $a$，$b$，$c$ 的几何平均数不大于这三个数的算术平均数” 用数学符号表示，可写成 “如果______，那么______.”