# Solving an inequality symbolically under constraints

Hello,

new to Sage. How would you go about this problem?

Assumptions: a) e0, e1 are positive real numbers b) e1 <= e0/2

Define: A=e0/2-e1; (notice, greater than or equal to zero) B=e0/2+e1; (equivalently, B=A+2e1)

Solve for e1: Int(1/B)+2 >= 1/A, where Int(x) is the largest integer less or equal to x

Output: An expression linking e0 and e1