proof_small_angle_approximation.pdf