==> analysis/particle.s <==
Assumptions:

1. x(0) = 0; x(T) = X

2. v(0) = 0; v(T) = V

3. d(a)/dt <= 0

Solution:

a(t) = constant = A = V^2/2X which implies T = 2X/V.

Proof:

Consider assumptions as they apply to f(t) = A * t - v(t):

1. integral from 0 to T of f = 0

2. f(0) = f(T) = 0

3. d^2(f)/dt^2 <= 0

From the mean value theorem, f(t) = 0.  QED.