realanal: prove order limit theorem and squeeze theorem
realanal: state and prove the interior extremum theorem.