简单说就是格式化字符串可以认为通过format可以将任何数据类型转换为指定的string类型
如果a>b,输出a的值>b的值,否则,输出a的值<=b的值
已知0b>0,求证;(1),a/x+b/(1-x)>=(√a+√b)^2 (2)a^2+16/b(a-b)>=16