establish the formulas 𝑑/𝑑x sin(𝑥)=cos(𝑥), and 𝑑/𝑑x cos(𝑥)=− sin(𝑥) by numerical estimations of the limits and informal proofs based on geometric constructions