lambda n:sum([i for i in range(1,n+1) if not n%i]) <= n + n ** 0.5


한 줄짜리 소수 판정법임


원리는 소수 p의 약수의 총합은 p + 1이라서  p + √p보다 작은데 합성수 n의 경우 n = pq일 때 약수의 총합 >= 1 + (p + q)/2 + n >= n + 1 + √pq = n +  n이라 그럼