总体比例的左侧检验形式为：H0：π≥π0，H1：π<π0。