从数1，2，3，…，1995中任意取出n个不同的数（1≤n≤1995）形成一组叫做一个n元数组，如（1，2，3，4）就是一个四元数组，（4，8，12，20，32）就是一个五元数组．现要给出一个自然数k，使得每一个k元数组中总能找到三个不同的数，此三数能构成一个三角形的三边长，则给出的k至少是多少时才能满足要求？证明你的结论．