Let a1, a2, a3, ... be a non-constant arithmetic
sequence. (That is, not all the terms are the
same.) Suppose that a4, a7, a12 form a
geometric sequence. If a7 = 30, what is a₁?