A,B,C,D,E是已知的正整数，求F，有公式{[(B+CF)/A]向上取整*(E/D)}向上取整-1=F，
若按照乘法分配律化简为[(B/A)向上取整*(E/D)]-1=F-[(CF/A)向上取整*(E/D)]，此时F相对原公式是不是只会偏大不会偏小？
若最终化简为{[(B/A)向上取整*(E/D)]-1}/{1-[(C/A)*(E/D)]}再向上取整，此时F相对于原公式是否依旧会只大不小？
如果“非法化简”求出的F相对于原公式里的F只大不小，能否将F带入原公式验算，若等式不成立则F-1后成为新F继续验算，不成立则继续-1，直到成立则输出F。