Dem. ca oricare a,b,c apartine (0, +infinit) => a supra b + b supra a mai mare sau egal cu 2