Function online_algorithm_competitive_ty 

pub fn online_algorithm_competitive_ty() -> Expr

OnlineAlgorithmCompetitive : OptimizationProblem → Real → Prop

An online algorithm is c-competitive: its cost on any sequence is at most c times the cost of the offline optimal plus an additive term.