about a comme argument un nom de variable.
about permet de connaitre les hypothèses faites sur cette variable.
On tape :
ou
puis,
On obtient :
assume[ ] signifie que l’on a une liste d’un type particulier.
Le dernier 0 veut dire que 0 est exclus de l’intervalle
[0,+(infinity)].
On tape :
ou
puis,
On obtient :
Le dernier 2 veut dire que 2 est exclus de l’intervalle
[0,2].
On tape :
On obtient :
ce qui veut dire que x est une variable formelle.