(expr, assumptions)
Infinitesimal*Bounded -> Infinitesimal
Infinitesimal*Bounded -> Infinitesimal
Infinitesimal * Bounded - > Infinitesimal
def Mul(expr, assumptions):
        """
        Infinitesimal*Bounded -> Infinitesimal
        """
        if expr.is_number:
            return AskInfinitesimalHandler._number(expr, assumptions)
        result = False
        for arg in expr.args:
            if ask(Q.infinitesimal(arg), assumptions):
                result = True
            elif ask(Q.bounded(arg), assumptions):
                continue
            else:
                break
        else:
            return result
def Mul ( expr , assumptions ) : if expr . is_number : return AskInfinitesimalHandler . _number ( expr , assumptions ) result = False for arg in expr . args : if ask ( Q . infinitesimal ( arg ) , assumptions ) : result = True elif ask ( Q . bounded ( arg ) , assumptions ) : continue else : break else : return result