## Can $approx$ be used in rigorous proofs?

The notation $approx$ is often used for calculations but is generally poorly defined, although other notation like $sim$ (asymptotic to) or big-O or little-o notation appears in rigorous proofs and often have a similar interpretation. I’m just wondering if one can use $approx$ in proofs. (I for example am attempting a computation and in an… Read More »