In the past, I used a math search engine[0] to find solutions for Olympiad problems, especially inequality ones. I imagine it would be useful when you want to f

In the past, I used a math search engine[0] to find solutions for Olympiad problems, especially inequality ones. I imagine it would be useful when you want to find the name of some formulas or expressions that you came across, though probably not much more. [0] My typical query: https://approach0.xyz/search/?q=OR%20content%3A%24a_%7Bn%2B1%7D%3Da_n%2B%5Cfrac%7B1%7D%7Ba_1%2Ba_2%2B...%2Ba_n%7D%24%2C%20OR%20content%3A%24%5Csqrt%7B2%5Clog%20n%7D%24&p=1 https://approach0.xyz/search/?q=OR%20content%3A%24a_%7Bn%2B1...