Good luck finding something that the mere existence of an algorithm with a sub-exponential complexity could contradict. And I didn't state that proving a negat

Good luck finding something that the mere existence of an algorithm with a sub-exponential complexity could contradict. And I didn't state that proving a negative is impossible, just that it's completely different from proving a positive by example and unlikely to benefit from failed attempts to find such an example.