Leram - Totally Convex Functions for Fixed Points Computation and Infinite Dimensional Optimization