Only in algorithmic analysis. Big-O generally is used to describe and classify any arbitrary function.

You learn about it in real analysis, but it's worth noting that in analysis you pretty much always use little-O, which is the one that makes the guarantee you need in that context.

Well, you may want to increase complexity in some contexts, eg in cryptography.

Big-O notation does not have a goal, it's a description not a strategy.