--------------------------------------- An Experimental (easily rigorizable) proof of Armin Straub's conjecture that the largst size of an (s,s+2)-core partitions (s odd) into distinct parts equald (5 s + 17) (s - 1) (s + 3) (s + 1) ---------------------------------- 384 By Shalosh B. Ekhad This conjecture was made by Armin Straub in arXiv:math.CO 1601.07161v1, and first proved by Sherry H.F. Yan, Ghuzhi Qin, Zeimin Jin, and Robin D.P. Zhou in arXiv:1604.037929v1 [math.Co], 13 Arpil 2016 Here we "naively" prove it by fitting a polynomial expression to the largest degrees of the Straub polynomials it is easy to see that this expression must be a polynomial. Theorem: the largst size of an (s,s+2)-core partitions into distinct parts (s odd) equals (5 s + 17) (s - 1) (s + 3) (s + 1) ---------------------------------- 384 and in Maple format 1/384*(5*s+17)*(s-1)*(s+3)*(s+1) This took, 2.397, seconds.