命题“∀x＞0，sinx＜x”的否定是______．

折算焦比的计算就是把所炼品种的生铁折算成炼钢生铁后，按炼钢生铁计算的焦比。