a（4）>6.6666…*10^28（如果存在）。
定义一个属性P1，使得对于任何正整数k，当k的十进制展开式的最小值和最大值数字分别为4和7时，P1（k）为真。这个序列列出了正整数n，使得P1（n）和P1（n^2）都为真。
定义一个限制性较小的属性P2，这样，对于任何正整数k，当k的十进制展开式的最小值和最大值的数字分别为至少4和最多7时，P2（k）为真。只有四个正整数n<6.6666…*10^28，因此P2（n）和P2（n^2）都为真：a（1）、a（2）、a。
推测：a（4）不存在。（结束）
a（4）>7.44*10^36（如果存在）-柴华武2017年9月9日
