[SRM230] InequalityChecker by Kaiyang Lv