发现一种时间复杂度疑似优于二分的算法，求证明或证伪

#include<bits/stdc++.h>
using namespace std;
int n,d,a[1000001],ans;
int main()
{
	cin>>n>>d;
	for(int i=1;i<=n;i++)
		cin>>a[i];
	sort(a+1,a+1+n);
	for(int i=2;i<=n;i++)
	{
		if(a[i]-a[i-1]<=d)
		{
			for(int j=i-1;j>=1;j--)
			{
				if(a[i]-a[j]<=d)
					ans++;
				else
					break;
			}
		}
	}
	cout<<ans;
	return 0;
 } 

具体思路就是先sort排序，使其成为一个单调递增的序列，在从每个元素向前枚举，超出范围直接break

请勿抄袭！