一家公司想要检测其产品的平均重量是否从 \mu_0 = 250 克下降到 \mu_1 = 245 克， sigma = 20 克， 和80%功效。最少的 是多少？