
Integrals
	Non-computable integral with given bound, ask for derivative.
	f'(x^2)=1/x, f(x)=? (Jimidovich p. 193)
	int(f(x)dx)=int(g(t)dt) with t=phi(x), given f(x), g(t)=? vice versa

Continuity and sequences (yes or no)
	   f cont/limit on 0 <=> sequence CV
	   f cont/bijective, (u) CV/DV <=> (f(u)) CV/DV
	   |f(x)-f(y)|<|x-y| <=> f cont
	   |f(x)-f(y)|>|x-y| <=> f non cont
	   f non-cont/no-lim on 0 <=> exist sequence DV / all sequence DV
	   f, g cont, (u) CV <=> (f(u)+g(u)), (f(u)*g(u)), (f(g(u))) CV
	   (u) CV, |v|<|u| <=> (v) CV
	   f cont outside 0, |f(x)|<|ax| <=> f cont on 0
	   f cont outside 0 + limit on 0 <=> f cont on 0
	   f cont outside 0 + sequence CV on 0 <=> f limit on 0
	   f, g cont <=> f+g / f*g / f(g) cont. f or g may be concrete.

a sin(fx) + b cos(fx), transform to A cos(fx+p) (determine A and p).

More variations in integral border change.

Polynomial P(x), give P(x+1)-P(x-1) and P(0), ask for P.

f,g increasing => f+g or fg increasing?
Calcul de limite simple, en fini ou infini.
Calcul de limite de fonctions sans expression?

DL: donner DL avec o(), poser question.

Test of convergence for sequences.
Is there a circle containing 4 given points?

E={4p+5q|p,q in N}. Maximal integer not in E?

Possible OEF collections: group definition. Power series.
	Computation of areas. Function establishment.
	Inequalities. Linear map. Function graphing.
	oef forall, logic with quantifiers.

Triangles.
	Given AB and BC, there are two values of AC such that ABC is right.
	Given AB and BC, range of variation of AC.
	Given 3 sides, determine the nature of ABC.
	