#Homework 18 by Ben Miles for Experimental math OK to post mex:=proc(S) local i: for i from 1 do if not member(i,S) then RETURN(i): fi: od: end: seqA:=proc(n) local L,i,j,k,a: option remember: L:=[2]: for k from 1 to n do a:=mex({0,1} union {seq(seq(j*L[i],j=1..n),i=1..k)}): L:=[op(L),a]: od: L: end: # This is a sequence of primes. #If I could prove either of these properties, I would be very famous.