Po�et mravenc� je $n$, po�et pracant� $p$ ub�v� podle
rovnice
$$
\frac{dp}{dt} = -c p (n + 1 - p) \quad ,
$$
nebo� kdy� se setk� pracant s lenochem ... a t�ch je
$n+1-p$ (ta jedni�ka je Pytl�k) a konstanta 
$c$ je kladn�.

�e��me separac�
$$
\int -c dt = \int \frac{1}{n+1}
\Left( \frac{1}{p}  + \frac{1}{n+1-p} dp \quad,
$$
tedy ($p(0)=n$)
$$
p(t)= \frac{n(n+1)}
{n+\mbox {exp} [(n+1)ct]  } \quad .
$$
Pro $n=1000$ (mal� mraveni�t�), $t=1$ a 
$p(1)=500$ dostaneme $c\doteq0.007$.
Po�et $p(t)=1$ (Ferda) pro $t\doteq 2$.
Zcela leniv� byl a� pro $t= \infty$.

(podle [Eason], 15.2.3 )


