基于同情假设的不等式验证检查

Question

我想根据以下假设检查不等式a<f是否成立

a<b
b=d
d=e
e<f

根据这些假设验证不等式a<f是否成立的最佳方法是什么。

我可以替换均衡并简化a<b如下

>>> from sympy import *
>>> a=Symbol('a')
>>> b=Symbol('b')
>>> c=Symbol('c')
>>> d=Symbol('d')
>>> f=a<b
>>> f.subs({b:c,c:d}).simplify()
a < d 

期待提出建议