TY - RPRT TI - A Numerical Procedure for Proving Specific Strict One-Variable Inequalities in Specific Finite Intervals AU - Man Kam Kwong PY - 2017 UR - https://arxiv.org/abs/1701.02425 ID - 1701.02425 ER -